쿠쿠리의 완전성 정리
게시글 주소: https://orbi.kr/00074337158
모순 <-> (p and not p) <-> 거짓
무모순 <-> not (p and not p) <-> (p or not p) <-> 참
무모순 <-> 참
-------------------------------------------------------------------------
1. (A가 거짓 -> 모순)->(A가 증명을 가짐)
1의 대우명제는 2.
2. (A가 증명을 안가짐)->(A가 거짓 and 무모순)
무모순<->참
3. (A가 증명을 안가짐)->(A가 거짓)
3의 대우명제는 4.
4. (A가 참)->(A가 증명을 가짐)
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
좋아요 1 답글 달기 신고
