아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
차단 많이 당했구나 그럴만 하지...
-
대학오고 영어 빡공하다가 심심해서 작수 영어 풀어봄 0
본인 입시판 있을 때 최고치가 71? 72점일 정도로 영어 개빡대가리였고 대학와서...
-
저녁굶으면 0
잠이 안오네 잠만 잘오면 계속하고 싶은데
-
안올릴건데 ㅋ
-
초6 여름~중2 겨울
-
.
-
킬러 기출 풀어주면됨?
-
수학머리 없는 5등급 12
=나 무휴반 중인데 ㅈ됨 이번 3모 10 12 14 15 21 22 26~30...
-
.
-
새르비 재밌네요 물론 전 앞으로도 똥글 쓸거 같습니다 치사하게 새벽에 진담한걸로 물고 늘어지기 없기
-
하 존못ㅇㅈ 1
-
호감:비호감 0
9대1 ㅅㄱ
-
1. 5초2. 12초3. 17초
-
지구 0
현재 고2 이고 수능 준비 중입니다 내신(지구는 어차피 대부분 암기이므로 내신때...
-
입장문 0
본인은 앞으로 오르비에 일절 똥글 관여하지 않을것이며 그동안 쌓이신 비호감 스택을...
-
정시 농어촌까진 허벅지 찌르면서 이해하는데 수시 농어촌은 도대체 뭐지..?
-
재)호감도 투표 0
착하게살게요
-
문법황 2
그러하다
-
아아아배고퍄 2
배고픈데 졸려 이 거지같은 입시생활에 두번씩이나 버려지다니
-
정진하겠습니다
-
그래그래요
-
일반고 수학 내신 12
모고 17번 18번정도까지만 풀수있는실력이면 몇등급나오나요?? 당연히학바학이지만...
-
아맞다 0
지구과학 할때가 아님 설거지해야함;
-
배부르면 잠올거 같아서 라면하나끓임
-
어 끝장보자 그래 어 좋았어 어 해봐 어 가보자 어
-
만약에 1
공대 3년 다니다 의대 붙으면 의대 갈 거임?
-
70억 부럽다 부러워
-
나도 너네 비호감이야
-
지브리 ㅇㅈ 17
좀 못생기게 나온듯 ㅠㅠ
-
8명 차단한다 2
ㅅㄱ
-
마 8
물리해라
-
2D풍 ㅇㅈ 3
Gpt에서 안돼서 지브리풍은 아닌 무언가
-
레알 왜 지고 있지 18
?
-
삼분할로 울었서
-
흑흑 나 이제 똥글도 못써 어떡해
-
누군가한테 비호감이라는걸 확인사살 받고 싶지 않아
-
지금 보니까 1
오ㅓ르비언들 나만 비호하네개 넘후ㅐ
-
만이천원 플렉스
-
메타탑승 호감도 23
결과에 승복할게요
-
시발럼들아
-
아차단해야겟다;
-
약간만 날렵허게 해줘같이 마법의 주문을 조금만 넣으면 다른사람이 나온답니다 혹시...
-
주간지 이런거 신경쓰지말고 하루 3~4지문씩 기출만 보는게 낫겠죠?
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다