증명할 때 항진명제 써도 됨?

[익명(106.101)]

문득 생각난건데 증명할 때 항진명제 만들어서 써도 되냐

아님 쓰나마나임?

[익명(220.79)]

써도됨 배중률같은거 도입해서 증명단계줄이는 테크닉 많이씀 - dc App

[익명(106.101)]

ㅇㅎ

[익명(180.134)]

근데 어케쓰는거지 걍 증명할때 전제에 아무데나 집어넣고 쓰는거임?

[익명(220.79)]

ㄴㄴ 증명하다가 쓰고싶을때 의존관계 없이 써놓고 TI 배중률이라고 쓰면됨 - dc App

[익명(106.101)]

미안 내가 말한건 p&(p->q)라던가 (p&(p->q))->q 같은거 말하는거였는데 이것도 되는거임?

[익명(220.79)]

ㅇㅇ 새로 글써서 예시 보여줌 - dc App

[익명(220.79)]

https://m.dcinside.com/board/logic/1258
- dc App