아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
그래그래요
-
일반고 수학 내신 12
모고 17번 18번정도까지만 풀수있는실력이면 몇등급나오나요?? 당연히학바학이지만...
-
아맞다 0
지구과학 할때가 아님 설거지해야함;
-
배부르면 잠올거 같아서 라면하나끓임
-
어 끝장보자 그래 어 좋았어 어 해봐 어 가보자 어
-
만약에 1
공대 3년 다니다 의대 붙으면 의대 갈 거임?
-
70억 부럽다 부러워
-
나도 너네 비호감이야
-
지브리 ㅇㅈ 17
좀 못생기게 나온듯 ㅠㅠ
-
8명 차단한다 2
ㅅㄱ
-
마 8
물리해라
-
2D풍 ㅇㅈ 3
Gpt에서 안돼서 지브리풍은 아닌 무언가
-
레알 왜 지고 있지 18
?
-
삼분할로 울었서
-
흑흑 나 이제 똥글도 못써 어떡해
-
누군가한테 비호감이라는걸 확인사살 받고 싶지 않아
-
지금 보니까 1
오ㅓ르비언들 나만 비호하네개 넘후ㅐ
-
만이천원 플렉스
-
메타탑승 호감도 23
결과에 승복할게요
-
시발럼들아
-
아차단해야겟다;
-
약간만 날렵허게 해줘같이 마법의 주문을 조금만 넣으면 다른사람이 나온답니다 혹시...
-
주간지 이런거 신경쓰지말고 하루 3~4지문씩 기출만 보는게 낫겠죠?
-
자유 생윤똥싸군을 재건하고 오르비 내 반생윤똥싸군 세력을 일시에 척결하여
-
아ㅣ 씨발 2
다리 쥐났어
-
? 2
너무해
-
잇올 신청했는데 ㅇㅁ 없는 사이트때문에 신청이 안 됐는데 교육청 가서 또 이것저것...
-
화내지마잉…
-
호감누르는건 부끄러워
-
호감도 1
비호감은 댓글에
-
하...나도 ㅇㅈ함 15
개쫄리네.
-
허구한날 현학적인 글 쓰면서 나르시즘 빠져있는거 꼴보기 싫다 투표ㄱㄱ혓
-
ㅈㄱㄴ
-
기출 1000문제 언제 다 푸냐
-
ㅅㅂ 지브리뒤져 5
왜 나는 버프안해줌
-
지브리는 신이야
-
혹시 오르비 하시나
-
그웬 연습 중.
-
투표 0
.
-
개 춥노
-
지브리 보정 심한듯요 25
넣어보니까 사람이 달라지네
-
!
-
호 불호
-
죽어도인증안함 4
난 리스크는 만들 수 없어
-
.
-
ㅌ 푸표 2
ㅋ
-
없어
-
나도호감투표한번해보자 13
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다