증명된 사실을 부정해도 무모순 임을 증명
게시글 주소: https://orbi.kr/00071398975
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
나도 08년생 3
이면 좋겠다 ㅋㅋ...
-
딱 1시간만 2
문제 더 풀게요..
-
연에 3600을 긁어야 풀 헤택이네 월에 300을 못 버는데 월에 300을 써야된다고?
-
눈 뜨니까 종점이었음
-
강기원 즌1 1
쫑느 즌1 수2부터 Qed_N까지 커리탔는데 재수생이라 기출도 다 풀었고 해서...
-
순공17분... ㅜㅜㅜ
-
진짜 과탐 3
물1 안했으면 외울거 많아서 개귀찮았을듯 화1 안망햇었으면 물1화1 하는거엿는데 ㄲㅂ
-
누난교수나는학생
-
누가 y=x대칭 엄청 잘 다뤄주는 칼럼 써주시면 좋겠다 5
나 진짜 잘 볼 자신있는데
-
되나요?
-
죽어봤자 부모님이 안슬퍼할듯
-
일반과랑 과팅하고 싶었는데.. 일단 보내줘..
-
시즌3 개강기원 4
-
재수하는데 사탐런 했고 나머지하나는 사문하는중임 생윤이랑 세지 뭐가 더 나음?
-
야이 기요마 4
길냥이 이 기요마 나보자마자 도망갓다
-
자야지 이제
-
뻥임
-
으르렁 멍멍 4
살려다오
-
개피곤하다 4
사는게쉽지않다
-
뭔가요? 이감 상상 한수 바탕 중에서요
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다