[일반] 어떤 명제가 거짓임을 증명할때 반례말고는 방법없음?

[익명(39.7)]

ㅇㅇㅇ

- dc official App

[익명(121.131)]

귀류법

[익명(14.36)]

ㅇㅇ 일단 proof by contradiction부터 시도하고 안 되면 counterexample 찾는 전략으로 가. 경험 상으로 보통 전자가 훨씬 쉽다.

[익명(14.36)]

proof by contradiction: not (p -> q) == p and not(q)

[익명(14.36)]

p == not(p) -> contradiction 이렇게 표현하기도 함.

[익명(220.121)]

반례가 더쉽고 직관적임. 귀류법을 써서 거짓임을 증명한 유명한 사례가 있나?