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

2025-02-12 17:09:11
조회수 584

나보다 더 개소리를 정성스럽게 하는사람이 있을까?

게시글 주소: https://gaemichin.orbi.kr/00071953261

1. (A가 거짓->모순)->(A가 증명있음)


1번은 귀류법이고 참


1번의 대우명제는 2번


2. (A가 증명없음)->(A가 거짓 and 무모순) 


2번이 참이니 3번이 참


3. (A가 증명없음)->(A가 거짓) 이 참이고


3번의 대우는


4. (A가 참)->(A가 증명있음)

그리고 원래 참으로 여기고 있는것들이


5. (A가 증명있음)->(A가 참)


6. (A가 거짓)->(A가 증명없음)



3번과 6번을 연결하고


4번과 5번을 연결하면


7. (A가 거짓)<->(A가 증명없음)


8. (A가 참)<->(A가 증명있음)



9. (A가 공리)->(A가 증명없음)


7번을 연결하면


10. (A가 공리)->(A가 거짓)


(A가 공리) and (A가 거짓)이라고 할때,


"A->(모든명제)"=참 이므로


모든명제는 A를 이용해 증명이 되었음


즉, (모든명제)는 증명있음


8번을 연결시키면


((모든명제)가 증명있음)<->((모든명제)가 참)







물론 있겠지..



0 XDK (+0)

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