이건어떰
게시글 주소: https://d.orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
필자는 이상치임 ㅇㅇ..
-
복 많을 얼굴이에요
-
다들 잘생겻노 1
죽어ㅠㅠ
-
이번주 금욜 호주가고 이주뒤에 베트남가는데……. 진짜 취소하고싶다
-
엄마표는맛없어잉
-
엄 1
엄
-
사랑이란 뭘까 6
추사랑아님
-
이민에 대해서 5
오르비언들은 아마 사회생활 경력이 별로 없어서 경제감각이 떨어지지만,어려서 한국에서...
-
. 4
.
-
내글에댓글을달아주면좋겠다
-
시 보고 진짜 슬픔을 느낀건 그게 처음인거같음
-
의외로 좋은노래 0
-
아맞다 1
생각해보니까 저는 새해인사 받았었어요
-
나이가 몇인데 수동적 고딩티 못벗음
-
자중하겠습니다 4
절로 ㄱㄱ혓.
-
고인물 파티구만
-
그건 사실이 아닐지도 전 남르비입니다 그것 또한 알 수가 없어요 하지만 확실한 건...
-
슈냥님 오르비하면서 이번에 처음 알았음 눈팅까지 2년차인데
-
엉엉
-
식 2
식
-
노래듣고싶다 3
내 버즈 어디갔지 ㅅㅂ 못찾겠는데
-
내 말 안 들을 거잖아!!!!!
-
다시 잠이 안옴.....
-
스 4
응
-
섹 4
시가이
-
반!카이! 3
하아아아
-
님 2
네
-
네 2
그렇다네요
-
AKUMA << 이거물건이네여
-
슈냥형 2
쪽지주세요
-
오르비가 밉다 10
-
잘자요 2
사실 안잘거임
-
포기합니다 2
암산테스트 70+ 처음으로 포기 선언합니다... 시벌 너무 야마돌아서 못해먹겟음...
-
왜 저한테 귀엽고 깜찍한 새해 축하 쪽지 안 보내주신거죠!!ㅂㄷㅂㄷ
-
이상입니다
-
예비 7인데
-
헤테로토피아, 장수생분들은 아마 오랜만에 들어본 주제라고 생각합니다. 2년전쯤...
-
요즘 몇몇 학습질문글은 15
그냥 답변안하고 지나치게 되는 듯 전에는 보이면 다 해줬는데 이젠 작성자 가려서 답변하는 듯
-
연대생이나가신다
-
네
-
Advanced plane geometry. by Barry, Patrick.D...
-
갤주햄 1
술취해서 밖에서 그림자 인증하고 다니는 거 개웃겼는데 ㅋㅋ
-
타시카니...
-
대상혁
-
내가 좀 크긴했지...
-
쪽지라... 11
누구랑 쪽지를 하루에 5번은 하는 거 같은데
-
나 열심히 후원햇는데..
-
에휴. 1/1에 복 많이 받으라는 쪽지 X 오늘 보냈다던 복 많이 받으라는 쪽지 X...
-
은하수를 건너서
-
님들 새해복많 17
먼가 님들 다 오르비에만 있는 AI 같아서 새해 덕담할 생각을 못하고 잇엇음 새해복많
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.