이건어떰
게시글 주소: https://orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
제발최초합
-
동국대 조기발표 3
동국대 조발 언제 뜰까요?
-
16이상은 최홍만급 아닌가...
-
표준편차가 작을 수록, 평균과 내 점수차가 클수록 높다고 들었는데 그럼 표준편차...
-
그냥 학교 수업을 듣다가 문득 그런 마음이 든다. 그 녀석이 왔으면 제발 왔으면...
-
ㄷㄷ
-
점공 제 위에 2
전부 1지망인데 추합이 한명이라도 돌긴 할까요 ㅜㅜ
-
왜 그럴까 생각해보면 그냥 친구가 적어서 그럼 에휴이
-
ㅈ됏네
-
고려대 발기조표 3
-
-
에타 ㅇㅈ
-
사람새기냐
-
왜일을안하는거야
-
sk세븐모바일 알뜰폰 쓰는데 해외나갈 때 별도 통화로밍안하고 그냥 출국함 업무상...
-
시대 부엉이 3
부엉이 라이브러리 다니면서 단과 듣는게 안되나요?? 종합반 말구요..
-
할까나
-
열품타 빡세네 2
다들 밥 안드시나 등수 유지 하려면 굶어야하네zzz
-
저도 여러분처럼 1
등급 올려서 축하받고싶어요..ㅠㅠ
-
N수생 의대학종 1
학종 안뽑아주죠 ㅠ
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.