아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ㅠㅠ 통역 남들처럼 잘하고 싶은데... 국내파에 독학이라 그런가... 통역답지 않은...
-
아무도 안 풀어줌 ;;
-
ㅈㄱㄴ
-
수열보다는 당연히 낫지만 그래도 사람 턱턱 막히게 하는 그런게 있다...
-
신기록 으하하 5
하면 할 수록 계속 오른다는거
-
사탐추천 4
생윤 윤사 둘다 해보신분들 (맛보기x) 장단점이랑 하나만 추천한다면 뭐할지 알려주시면 감사합니다
-
대한항공 기장·부기장, 호주서 '탄핵' 대화 중 주먹다짐...중징계 처분 3
대한항공의 기장과 부기장이 윤석열 전 대통령의 탄핵 여부를 두고 이견을 보여...
-
농어촌 되는 곳 강남역에서 1시간도 안 됨 아파트도 나름 잘 되어있음 안 되는 곳...
-
벽에 끼엇음 1
뒤에 누가 잇는거같음
-
수학 고정1 나올정도 만들고 다음에 무슨과목 공부함? 고딩때부터 한과목 클리어 >...
-
어디가 취업 더잘해요?
-
기하랑 생2 하려하는데 새로 공부한다는 것에대한 부담감과 해야할 게 많아서 오는...
-
벚꽃이 그렇게도 예쁘디 바보들아
-
난 재밌는데 4
힝
-
서술 범주 파악은 강평ㅋㅋㅋㅋ 이 답글 꼭 달림
-
ㅇ.
-
국어를 못하면 수능날 자체를 망치며 영어를 못하면 미친듯이 찝찝하고 사탐을 망치면...
-
일단 결론부터 말하겠습니다. 미적이고 이번 수능 수학 만점 맞아야해요....
-
가능충 1
작수 미적 3컷인데 올해 확통 백분위 98 가능?
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다