아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://i.orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
베베
-
가지말아요 다들
-
저 소설쓰려구요 8
라노벨형식인데 제목은 이제 입니다 어떰
-
늦어지는데 이거 뭐냐
-
키스젤리 앎? ㄹㅇ 그거랑 똑같음 ㅇㅇ….. ㅇㅇ… ㅇㅇ… 어어..음 ㄹㅇ일걸요아마
-
빨테ㅡ달고시픈데 7
도와주세요 ㅠㅠ 매일밤마다 어그로도 존나 끌고잇는데 ㅠㅠ 레벨 잘 안올라가요 ㅠㅠ
-
https://5du.pl/xngmk
-
저 공익임?? 4
신검은 1급인데 우울증약1개월+ 콘서타1년반 복용인데.. 재검 받으면 공익 ㄱㄴ?
-
작년 9모 다시 풀어봤는데 그때도 미적 못했는데 더 못해짐 미적 그냥 포기 마렵네
-
너무 이쁘다
-
-
숙제가 적어서 병행하기조앗슴
-
설윤왤캐이쁘냐 8
ㄹㅇ..
-
다들 잘쟈 6
좋은 꿈 꿔
-
ㅂㅂ 2
내일을 위해서
-
아 그냥 아예 사지 말까..?아님 어차피 최저학점 들을 거니까 살까..무튼모고 없이...
-
ㅋㅋㅋ병신들 5
-
삼수하려는데 생윤말고 추천할 사탐과목 있나요? 원래 쌍윤이었는데 윤사한테 두 번이나...
-
정시가 맞다 6
수시로 높게 못 가겟다
-
히히 발사발사 5
발사!!!!
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다