아니 님들아 이거 진짜 혁신적인거 아님?
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
제 이미지 6
어때요 ?
-
나도 기만해봄 7
집에가지마 베베
-
-
정규반은 강기원 듣고있습니다 공통 누구 듣는게 좋을까요? 박종민, 장재원쌤...
-
미친인간들 2
태운다
-
더불어민주당 대권주자인 이재명 성남시장이 23일 어린 시절 자신이 일했던 공장에서...
-
근데 심찬우랑 이원준 수강생들은 왜이리 극성이 많냐 16
빠가 까를 만드는듯
-
프사마다 바뀌는 성격 미치고
-
배부른 돼지 on
-
베베 1
-
산공 전입해서 설로cpa금융권등등 가고싶다 전정은 학점경쟁 너무 빡셀 거 같은데
-
대신 이력서는 텅텅 비어있을 수도 있음
-
그게고민이다
-
우울해서치킨시켰어 13
응응
-
레어 왜 못삼 1
오류남?
-
지가죄진게맞다 빚진게많다하고 내가 계속 안먹어도된다하니까 1초정도 눈빛 싹 바뀌는거...
-
얘들아 진도가 빨라...
-
안녕하세요. 현재 예비고2인데, 고2때 내신으로 확통을 선택핵고, 고3때...
-
캬캬
-
또 나만 못보고 살았던거야,..?
-
nsfw를 만들 생각은 없기도 하고 자연어처리가 너무 마음에 들었음
-
이미지써드림 36
ㅋ
-
저 공익임?? 4
신검은 1급인데 우울증약1개월+ 콘서타1년반 복용인데.. 재검 받으면 공익 ㄱㄴ?
-
이미지 써드림 20
이미지
-
내일 뭘 먹어야 잘 먹었다고 소문이 날까 하는 고민임...
-
하사십 같은거 한세트플고 하프모나 실모 한세트 풀면 거의 3-4시간이던데 이정도면...
-
샤오바오는 아는데
-
버튼 눌러서 ㅈ될뻔했네
-
또한 선관위의 형상기억종이같은 ㅂㅅ같은 해명들 ㅋㅋㅋㅋ
-
솔직히 1
기만질보다 애니프사좆목이 더 좋음
-
기만 한번 하겠습니다 14
친구가 생일선물로 수분측정기 사줬어요
-
마오마오 <<<얘 약방에서 일하다가 갑자기 후궁됨 뭘 놓친거지
-
민주당은 29명의 국무위원 탄핵 검사탄핵 예산삭감 또한 수많은 악법폭주 이걸또...
-
가봄 3
1시간 후에 옴
-
아 그냥 아예 사지 말까..?아님 어차피 최저학점 들을 거니까 살까..무튼모고 없이...
-
교과100인 학교들 대학 어디가 돌려봤는데 이 중 올해 입결상 붙을만한 곳 있나요?...
-
진심이다
-
풀리는 문제임?
-
만원 한장 들고 나가 먹을래면 햄부기나 중국집 이외엔 선택지가 없는듯
-
근데 학벌 비루해서 잘 못구하긴할듯
-
환경이 잘못된거에요 ㅜㅜ 인증을 마음대로 할 수 있는 세상을 만들던가 ㅜㅜ
-
이제 갤탭만 오면 본격적로 글을 써볼거예요
-
비틱 8
틱틱틱틱틱틱틱틱틱 틱 틱 틱 틱 틱 틱 틱 틱
-
애초부터 과외 찾으려 가입해서 그런지 민도(?)가 더 좋음 . 당근이 진상 비율 훨 많음
-
진짜 신중하게 연애 시작해서 한 사람과 한 3-4년 사귀다가 26-27살에 결혼하기
-
기만 ㄴㄴ 비틱질 ㄴㄴ ㅋㅋㅋㅋㅋ
-
ㅈㄱㄴ
-
진짜 레전드노래임
-
노래를 잘부르고싶다 13
시원시원한 고음으로 좋아하는 노래들을 부르고싶다... 현실은 음치다...
-
포레스트 검프 같은 사랑을 해야겠어요
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다