증명된 사실을 부정해도 무모순 임을 증명
게시글 주소: https://orbi.kr/00071398975
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
뉴런vs시발점 0
이번수능 15 20 21틀렸는데 뉴런2025를듣고 2026을 들을까요 아니면...
-
치뱃은 달고 싶어서 19
다군에 쓸까 생각했었음 왜 뭐.
-
팔로잉 목록 봤는디 12
왜 1빠따가 정벽이었을까 아마 수능 성적 궁금해서 팔로우 했던 거 같은데
-
진짜 레전드 앰생이어도 안할거 같은데 저건 ㅋㅋ
-
수학 공통 공부 0
시대에서 송준혁쌤 공통 듣는데 잘안맞는거같아요,, 근데 그만두면 공통공부 더...
-
많관부
-
하 이걸 못보네 0
여르비 슬퍼서 우럿어 ㅜㅜ
-
리젠을 위해 한 몸 바쳐 장렬히 전사하신 ㄷㄷ 장례식이 4번 넘게 올라오는 사람은 첨이네
-
고2 노베 선택과목이 확통인 문과고 내신도 챙기려합니다 독학서가 제스타일에...
-
"법원 잘못 인정할 기회 주겠다"…구속 임박하자 출석해 '여론전' 2
[앵커] 윤석열 대통령은 그동안 서울서부지방법원에 대해서 관할권이 없다며 문제...
-
국어 기출 0
문학은 유네스코 할건데 독서는 강기분이 압도적이라고 들어서 고민되네요ㅜ (현재...
-
[1000덕] 기하 평가원 만점에게 도전하는 자작문제 29
오래 기다리셨습니다... 개 억지긴 한데 이렇게라도 이기고 싶었음뇨
-
설치컷 ㅈㄴ 높더라 ㅇㅇ..
-
잘가라게이야 0
굿바이xx
-
얼버기 1
일요일 조아
-
기차지나간당 6
부지런행
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다