이건어떰
게시글 주소: https://m.orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
아님망고
-
저도질문받거나해드려요 34
-
거의다 자나보네 20
오
-
님들 새해복많 17
먼가 님들 다 오르비에만 있는 AI 같아서 새해 덕담할 생각을 못하고 잇엇음 새해복많
-
단지 그게 친목으로 다른분들이 싫어하실까봐 걱정되는게 있어요..
-
요즘 몇몇 학습질문글은 15
그냥 답변안하고 지나치게 되는 듯 전에는 보이면 다 해줬는데 이젠 작성자 가려서 답변하는 듯
-
내일 목표 17
베르테르 1개 풀기 코딩 하기 노래방가기 일찍일어나기 밥 2번 먹기
-
오르비 갤주임 어제 자고일어났는데 와있어서 진짜 감동이더라
-
생윤 해설강의 보는데 18
11번 문제 왜 을이 노자임? 장자는 안돼?...
-
난 ㄹㅇ 잠이 안오더라 ㅋㅋㅋㅋㅋㅋ 울진않았지만 뭐,,
-
뭐야 왜 인증메타 15
그래 내가 몽땅 못봤다ㅋㅋ
-
ㅇㅈ 15
시발…
-
제 나이 맞춰봐요 15
너무 많이 뿌려서 다 알듯
-
고인물 파티구만
-
10키로 찌면서 이목구비에 살찜뇨.. 이제 마름에서 그냥 보통 정도 된거같은ㄷㅔ...
-
내 말 안 들을 거잖아!!!!!
-
기억으로 쓰는거라 이상할 수 잇음, 알아서 걸러들으삼1. Inverse 중심이 O인...
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.