아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
163 75 1
버스 안 타고 그낭 굴러댕김
-
오 6
오
-
뉴진스 2
이제 보내줘야겠다ㅜㅜ 인스타 소개글에 뉴진스의 하입보이요 해놨는데 지워야디...
-
cex
-
트랄라랄라 트랄루루 이거랑 애쉬톤 홀의 모닝루틴 이거 둘밖에 안 뜸
-
기요미 물리 2
마구마구 함락시키기
-
너무쉽지도 너무어렵지도 않은 적당한걸루요 ㅠㅠ엔티켓 낫베드였어용
-
집 근처 독재에서 재수하고 있는 학생입니다. 신경과민(예민), 불안, 강박 때문에...
-
유빈 뭔 일임 1
유빈 관리자가 뒷돈받고 소수방 홍보하고 자료 제보 들어와도 안올렸다는데 ㅋㅋ 역시...
-
내아이민이어때서 2
어떻긴 틀딱..
-
걍 개념을 무식하게 암기하고 문제양을 늘려서 채화한다의 개념으로 접근하는게 바람직...
-
할복 5
할복
-
네
-
어나클 질문 1
Part1,2가 있던데 2는 해설인가요?
-
소개좀
-
물1 역학->물2->물1,지1->지2,생2->생1 순으로 공부했을때 1과목이...
-
볼거냐? ㅈㄱㄴ 수특 레벨3도 있음
-
인턴 때 결혼 내 로망임
-
-
지금 시기에 풀 수 있는 국어 문제집 추천해줘 마냥 수능기출이나 수특만 풀기보다...
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다