아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://old.orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
https://orbi.kr/00067890648/%EB%B9%A1%EC%B9%A8%...
-
메인 뭔일임? 3
누가 뭐 자랑했음?
-
-
지금부터 걸으면 0
홍대 몇시에 도착하지 카와카츠 먹고 싶다
-
바보야?
-
‘님도 안 씻으셨어요?’
-
우짠댜
-
고닉 아니더라도 유의미하게 오르비를 이용하는 사람 중에 연치 있음?
-
ㅋㅋㅋ병신들 2
뭐 병신아 킥킥
-
닉변할까 0
올리부엉이
-
ㅋㅋㅋ병신들 5
-
부터 들어도 될까요 지금 라이브반 중도합류하기엔 너무 늦은거 같아서.. 그냥 문제집...
-
그냥 갑자기 반에 들어갈때 같은반 남자애가 나보고 "@@이 왤케 여자같이생겼지"...
-
히히 발사발사 5
발사!!!!
-
무반응
-
전공 못살리는 백수 많음?
-
아니 롤할라그랫는데 16
집에가지마 쓰다가 시간 다갔네
-
설경vs고경 4
인프라,아웃풋 등등.. 압도적으로 차이 큼?? 개인역량으로 커버칠 수 있?(금융권)
-
ㅋㅋㅋ 병신들 9
모 기하 아조씨가 부탁하신 그림 나왔습니다
-
의대.. 다들 수업 개강하면 서로 다 몰라서 뻘쭘할듯.. ㅋㅋ
-
기분이 좋네요
-
❤️❤️
-
조예 깊은 쥔장이 직접 말아준 째애즛마,
-
뱃지만 받고 탈릅을..
-
이래봬도 남자임 3
키도 작은..
-
꼴보기싫음 정작 들어가보면 어그로성글 시간낭비만 ㅈㄴ시키고 보나마나 현생에서 산소낭비도 ㅈㄴ할듯
-
고3때 많이 올려봤자 한계가 너무 분명해보임..ㅠ 그리고 수시랑 정시 같이 챙기는...
-
ㅈㄴㅂㅇㅇ닉하고 돌아다니긴할듯
-
기출변형임
-
수험생활할땐 참 재미없던 공부가 대학만 들어가고 할거없어지면 재밌어지는데 저만 그런가요
-
-
우린 다 깠었는데 오래사귄것도 아님 ㅋㅋㅋㅋㅋ 난 이해불가…
-
본인 초5아래로 기억 아예없음 초등학교때 기억이니 많이 휘발됐을수 있고 기억나는대로...
-
내가 인프피라 그런거 아님
-
-
존잘존예밖에없네 2
그냥잘걸 가만히 있다가 더 슬퍼졌어
-
나는 별볼일없는 22살 노총각에 현재 수중에 푼돈밖에업는 돈없는남자인데 나랑...
-
미안 제목은 어그로고 물리는 역학만 두번하고 지구는 한번 대충 돌렸는데 그냥 사탐런...
-
참 저능부엉이임? 옹고집전이 따로 없네
-
집에가지말라하면 뭐하냐 12
집인데 이미
-
좀 사라 임마
-
대학은 갔는데 할거없어서 ebs수특 수학 풀고있는사람 손
-
10학점이면 공부하는데 무리려나
-
반영되서 나와 어짜피 듄 안봐도 돼 특히 수학
-
ㄱㅁ함 2
나의 오래된 스윾치를 5년만에 찾아서 요즘 mk8dx 재밌게 하고 있음
-
돈관련 ㄱㅁ 2
난 ㅈㄴ맛있는 펩시제로 라임을 1플1으로 살수있늣 2329원의 잔고가있음
-
목소리가 진짜 변성기안온 초등학생목소리임 남성호르몬이 부족한것도아니고 골격 꽉꽉...
-
. 아무리 생각해도 잘난 부분이 하나도 없다 ㅜ
-
이게 유행인거야 베베
-
생정생정생정
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다