[결론을 부정하면 무모순] 증명
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 무모순이다
공리를 부정하면 무모순=공리가 거짓이면 무모순
전제가 참이면 결론이 참
대우는
결론이 거짓이면 전제가 거짓
공리는 전제에 속함
따라서
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순
줄여서
결론을 부정하면 무모순
예제
1=1 을 부정하면 무모순
나는 신이 아니다 를 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
첫번째 댓글의 주인공이 되어보세요.