증명된 사실을 부정해도 무모순 임을 증명
게시글 주소: https://orbi.kr/00071398975
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
네웹 7
최악의 세대 이거 갈 수록 재밋네요요즘 웹툰을 많이 못 봣는데 오늘 밀린 것들 좀 봐야겟어요
-
ㅜㅜ크게 다쳐서 내일쯤 퇴원할거 같은데 내일부터 시작해도 되나? 김승리 작년에...
-
흠
-
나같은 고등학생들을 위한 커뮤니까
-
gpt 인증 6
나 모른대
-
1년마다였나 먹어야된다는데 안먹으면 똥에 징그러운 기생충 ㅈㄴ 많이 있음 나 옛날에...
-
대학병원 의사들도 윤씨 싫어하겠지?
-
집 왔어요!! 11
다들 오늘도 고생많았음뇨
-
레전드
-
내가 s면 넌 나의 m이 되어줘 어떤 순간에도 너를 박을 수 있게 반대가 꼴리는...
-
-
그것은 스타크래프트. 이거 진짜임 빠른 무한 존꿀잼임.. 가끔 독서실 째고 피방갈때...
-
원래 생2 처음에 ㅈㄴ 어려움? 세포호흡부터 만만치 않노
-
내청코 후기 4
INTJ들의 연애는 어렵구나 대충 인물관계 좀 빨리 파악한 것 같은데 그것 때문인지...
-
일단 난 이과라기엔 좀 부족한 듯.. [링크]
-
대 성 훈 몰라뵈서 죄송합니다 고트인진 모르겠는데 아무튼 사문해야지
-
[고려대학교 25학번 합격] 합격자를 위한 고려대 25 단톡방을 소개합니다. 0
고려대 25학번 합격자를 위한 고려대 클루x노크 오픈채팅방을 소개합니다. 24학번...
-
ㅈㄱㄴ
-
예비 중3인데 궁금한 점이 있음 보통 사람들은 윤혜정의 개념의 나비효과 듣고 강기본...
-
낼 증사찍는데 2
찍을때 꼭 웃어야 됨?? 머리는 보통 어케함 ㅠㅠ 선배님들 팁점
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다