쿠쿠리의 완전성 정리
게시글 주소: 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 답글 달기 신고
-
. 4
-
공부 깨달?음 2
뭔가 무지성으로 공부하다가 최근에 전과목 다 전체적으로 개큰유레카를 얻어서 공부법이...
-
아 똥마려워 5
뿌직
-
여초분위기가 싫어.. 뭐만하면 소문내고 뒷말나오고 서로 기싸움하고 난 보기만하는디...
-
그냥 좀만 어려운거 보면 감이 안옴
-
혹시 레어창에서 대기중이세요? 뺏자마자 바로 가져가는거 뭐임?
-
새 교육부 장관 '최교진'은, 세종시 학종 2.5배 합격시킨 교육감인가? 졸업생은 더욱 피해 커질 전망 8
최교진 교육감 취임 이후 세종시는 일반고교 대입 진학 합격자 숫자 반토막, 그러나...
-
하루종일 독서실에 처박혀있어서 걍 안바르는데 집가면서 20분정도 햇빛받는것도 좀...
-
강심장 같음. 얼굴 보여지면 특정 당하기 쉬워질텐데
-
뭔가 이 상황과 논리로 전개가 되어야 정답일거 같은게 많음 물론 남들에게 설명할 수...
-
종교적신념과내주변사람들때문에못죽음
-
안녕 1
오랜만이다
-
28번이랑 30번 중에 뭐가 더 어려운 거 같음 나는 30번은 풀고 28번 20분 박고 못 풀었음
-
너는 지금 1
뭐해 자니 밖이야~
-
넌 작년의 나다 쟁취하도록.
-
도형 vs 수2 vs 귀납적정의
-
남들은 못푸는데 직관력 하나로 3분컷낼 수 있는 유형
-
자살률 높은게 신기하네 한국이든 일본이든
-
안녕하세용? 2
반가워여
