아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
그냥 순수하게 재미씀 읽고있으면
-
N티켓 괜찮네 4
쉬워보여서 안풀려다가 밤에 심심해서 푸는중 문제가 깔끔해서 재밌네
-
오이이아이오오이이이아이
-
못 막음
-
영상 봤음
-
이것만 올리고 자러갈게요
-
이겨다
-
선착순한명 3
차단해드림 차단자리너무여유로움
-
고2 상위권 남학생, 생기부 너무 대충하는데 진짜 속터지네요. 내가 대학가냐 니가 대학가지…
-
슬슬 3
새르비 합류선언
-
그런거임
-
좀 채울까 82872같은 애들
-
니가 들어가라
-
정시일반 의대 기준 3년 풀로 박았으면(현역 재수 삼수) 일반적으로 각이 나온다고...
-
예전에 풀었던 거 업로드
-
포도먹는중 6
이거맛있네요
-
엔티켓 살까 말까 고민 중인데 시즌１은 입문용¿정도로 쉬운 거 같아서요 굳이 안...
-
공통하느라 유기하고 있었는데 매일 1~2시간이라도 꾸준히 해야겄다
-
나도 연애썰 4
하나 풀어줄까
-
남르비들 지브리 성전환 ㅇㅈ 가능한가요?
-
접수일얘기가 아무곳에도 안올라왔길래여
-
3모 3등급인데요 6모는 1등급 맞고 싶습니다 70분안에 다 푸는건 어떤 느낌일지...
-
아까 짬뽕 토하기 직전까지 먹어서 몸 무거워진게 느껴짐
-
https://www.dropbox.com/sh/lribbpkfooq96gs/AABJ...
-
공부할때 집중력이 이렇게 좋았으면 대학을 갔을텐데
-
먼가 그럼 천성 찐딴가봄
-
77 89 2 96 89 입결 찾아보면 평백 84가 70퍼 정도이던데 왜 오르비에선...
-
무물 시즌2 2
정상적인 질문만 부탁드립니다
-
내가 불편한가
-
어릴때 가오 1
어르신들 귀에 담배 1대 얹고 다니면 그게 참 간지였음
-
비호감고닉의 삶
-
-
현역때 백분위로 국어 50 (평소보다 훨 망함)이고 나머지 80정도 였음 그래서...
-
수상쩍은 애들이 한둘이 아님
-
진짜 MS는 나밖에 없구나
-
서바존나어렵네 4
브릿지랑 비교가안되노
-
전 2,4,6번이에요
-
연애로망 0
여친한테생일선물로3830억받기
-
플렉스 햇다 4
ㅂ배불러
-
비추 ㄴㄴㄴ
-
이상형짤털 4
-
휴식시간 8
이제 좀 누웟다가 애니보고 공부 찍먹하기
-
한 명 나감
-
-
5듭급입니다 미친개념 풀면서 쎈 풀고 다 풀면 미친기분 + 쎈 2회독 이렇게...
-
이거 살까 2
아이오닉5에 넣고 다니면서 차박하면 딱인데
-
자러가요 9
굿나잇
-
진짜 갲추움 1
야발
-
이상형 짤털 16
횽아…
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다