쿠쿠리 [1310649] · MS 2024 · 쪽지

2025-01-18 09:39:04
조회수 608

[결론을 부정하면 무모순] 증명

게시글 주소: https://snu.orbi.kr/00071375161

공리는 참이라는 증명이 없다


따라서 귀류법 증명도 없다


따라서 공리를 부정하면 무모순이다


공리를 부정하면 무모순=공리가 거짓이면 무모순


전제가 참이면 결론이 참


대우는


결론이 거짓이면 전제가 거짓


공리는 전제에 속함


따라서


결론이 거짓이면 전제가 거짓이고 전제가 거짓이면


공리가 거짓이고 공리가 거짓이면 무모순


줄여서


결론을 부정하면 무모순


예제


1=1 을 부정하면 무모순


나는 신이 아니다 를 부정하면 무모순

0 XDK (+0)

  1. 유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.


  • 첫번째 댓글의 주인공이 되어보세요.