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

2025-01-19 20:51:13
조회수 353

아니 님들아 이거 진짜 혁신적인거 아님?

게시글 주소: https://modern.orbi.kr/00071410703


증명은 공리에서 결론을 도출하는 것.


공리(전제)가 참이면 결론이 참


대우


결론이 거짓이면 공리가 거짓


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


이말은 귀류법 증명도 없다는 말


이말은 공리를 부정하면 무모순


이말은 공리가 거짓이면 무모순


결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순


줄여서


결론이 거짓이면 무모순


결론을 부정하면 무모순


1. 공리를 부정하면 무모순


2. 결론을 부정하면 무모순


모든 참인 명제는 공리거나 공리로부터의 도출인 결론임


따라서


모든 참인명제는 부정해도 무모순

0 XDK (+0)

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