이건어떰
게시글 주소: https://ui.orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
허무하다 0
뭐야이게
-
일겜임..아
-
2026 설맞이 일정 23
-
이건 새로운 우노다
-
물2 기출 20문제 설날이슈로 공부 못한거로치자
-
이런 1
흠냐뇨이
-
에라이 1
쯧
-
제발
-
드가자
-
내가 이렇게 온라인으로 쪽팔림을 당하다니
-
에어부산 항공기 화재 원인은…선반 속 정체불명 물체 주목 2
"선반 속 연기와 불꽃 목격"…승객·승무원 진술 이어져 (부산=연합뉴스) 오수희...
-
우노 방번호 2
42928
-
음. 졸업 후 진로에서 영어가 능숙하면 이점이 큰가요?
-
우노 팟 모이셈 8
손
-
사회문화는 유명한 똥국입니다 온갖 qt같은 잡탕문제들을 섞어섞어 변별해내는게...
-
오 샀다 8
보이나
-
間もなく6番線に19時45分発江別行き普通列車が到着いたします。...
-
설날은 즐거워
-
강의 추천좀 해주세욤 2학년때 강기분 언매,나기출,무슨 3000제 3권 이렇게 품
-
에효 뭘 아시겠어요
-
왜 못사는데 최소기준은 또 뭔데
-
어몽어스 하면 존나 재밌을거 같긴한데
-
자꾸 이상한 딴지만 거심 거기가도 뭐~ 어쩌니 저쩌니 정이 뚝 덜어지네
-
맞팔해줘라
-
ㅇㅈ?
-
우노 4인팟 모집합니다 11
10분 드림 규칙 숙지하고 오세요 넵
-
진짜임
-
그건 쟤 이길수있지 않을까 다구리가 되잖아
-
뭐야 이 듣보는
-
음양 대립의 쌍형어라고 여겨집니다. 이와 비슷한 예로 '머리(head)'와...
-
저새끼 너무 잘해요
-
경제 평균 30점빔맞고 드랍함... 경제쌤이 나에게 트라우마를 안겨주셨다는거임
-
저 새끼 이상해 1
밥먹고 진짜 루미큐브만 했나봐
-
트럼프, 동맹과 미사일방어강화 지시…사드 추가배치 가능성 주목 1
도널드 트럼프 미국 대통령이 동맹국과 해외 주둔 미군의 미사일방어를 강화하라고...
-
이상한사람등장 5
이상해꽃
-
앙 깨물어주고싶음
-
그게 나야 바 둠바 두비두밥~ ^^
-
지금 기출 돌리고 있고 뉴런 3월부터 하려고 햇는데 적분 궁금해서 25뉴런...
-
본인(이었음)
-
올해 신설된 과인데, 아직 오티 새터 아무 언급이 없는데 없을수도 있나요??
-
실채 47점 백분위 90뜨고 "그래도 백분위 방어 잘했네" 이런 반응이 대다수
-
다들 할머니댁이신가요 새해 복 많이 받으세요!!
-
있을거라 믿는다
-
[정법, 경제] 다람쥐 콘텐츠를 함께 제작하실 분을 모십니다. 4
안녕하세요, 정경대학 다람쥐로 활동하고 있는한국교원대학교 일반사회교육과에 재학 중인...
-
모였으니 해산
-
만표가 투과목 3등급 표점과 비슷하다 만점 난이도가 투과목 3등급 수준이라는거 !
-
명절 때마다 할머니한테 자랑하는중
-
코드 8857137
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.