아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
제 5년 짝사랑썰 들어주실분 9 2
?
-
존잘존예들은 N수해도 괜찮음 15 5
20살 넘어서 상대에 관한 아무런 정보도 없는 상태에서 만나는 사람들인데 당연히 첫...
-
응한번더보면그만이야 5 0
어쩔건데
-
원래 수학 국어 등급은 29 1
오르는 느낌이 다른 과목에 비해 안드나요? 한번에 빵하고 터지는건가요 하루하루가...
-
어떡해감 진짜로
-
강민철 심찬우 콜라보 3 0
강기분 듣기 전에 문제 풀떄 그읽그풀로 한다음 민철쌤 분석 강의 듣는건 별로인가요?...
-
역시 일단 잘생기고 커야 된다 2 0
인간은 본능을 거스를 수 없다
-
수학 2 0
고2 겨울방학 때 진도 어느까지 하면 좋을지 궁금합니다. 수학모의고사 4등급대...
-
정실 10 2
근데 저 니세코이 못적 없음요
-
옯붕이 어무니 생일선물해드렸음... 17 3
생신이라 옛날부터 좋아하는 가수 콘서트 예매해드렸는데 (친구랑 보러가라고 2장)...
-
제 바로 앞 분 점수랑 저랑 1점도 넘게 차이나서 안심해도 될런지 모르겠네용..
-
추구미 단발 청순녀 30 1
이목구비 크고 뚜렷한데 뭔가 조화가 잘 이루어져서 느끼하거나 전혀 그렇지 않으면서도...
-
제 프사 뭔지 맞추면 10000덕 13 0
렛츠고
-
대체 왜 옹호여론이 생기는거냐 2 1
역시 크긴 컸나
-
수린이한테 쪽지보내는 2 0
옯순이들 있지않을까
-
후회되는게 있음 5 0
중학교때랑 자퇴전 고딩때 수학공부좀 해놓을걸... 중고딩때 수학시간만큼은 쳐잠...
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다