[일반] 귀류법에 대해 궁금한게 있어

[수알못(223.62)]

A -> B라는 명제를 귀류법으로 증명한다 해보자
그럼 ~B에서 시작해서 ~A를 유도하게 되잖아

결론적으로 귀류법은 증명하려는 명제의 대우를 증명하는 거라고 이해해도 되는 거임?

[ExHentai.org(nsa15464)]

대우 증명하는것과 다름. 귀류법은 ~B와 A를 가정하고 모순을 보이는 방법임

[익명(223.38)]

~B에서 ~A를 유도하는게 아니라 ~B이고 A이면 모순임을 보이는거임. 결국 동치니까 똑같은 말이긴 한데, 대우를 증명한다고 보긴 애매할듯

[익명(49.174)]

(A->B) <=> ( (A and ~B)->모순 )

[초코냥-바이러스(thecoqproofassistant)]

[수알못(223.62)]

다들 ㄱㅅ