쿠쿠리의 완전성 정리
게시글 주소: 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 답글 달기 신고
-
혼자 삼겹살 먹으러 가서 0 0
허겁지겁 먹다가 혀깨물어서 피남..
-
올해무조건뜬다 4 1
그만보자수능
-
해줘 10 0
너무 많음
-
-
우걱우걱 2 1
두통이 나은건지 뭔지 모르겠군
-
맨유 꼴좋다 3 3
푸하하하 근데 무승부 기대했는데..
-
인강을 듣는다면 지문을 딱 처음에만 풀고 바로 강의 들어야하나요? 아니면 혼자...
-
모의고사 필적확인란 추천 ㄱㄱ 73 3
시, 가요, 명대사 다 상관없음 아무거나 ㄱㄱ 댓글로 남기면 참고해봄
-
집 와서 3 0
초딩때 ㅈㄴ 좋아하던 드라마 다시 봤는데 진짜 개꿀잼이네
-
메가에서 조정식 또선생 김지영 김기철 아무거나 들어도 상관 없을라나 고민되네 문접원...
-
치킨 1마리는 쉬운데 10 0
피자는 너무 뻑뻑함..
-
미로마을 브금 너무 좋드 4 0
하..
-
수2 수1 자작문제 6 2
처음 만들어본 자작문제 입니다! 혹시라도 오류 있거나 발문이 이거면 더 좋겠다 싶은...
