이건어떰
게시글 주소: https://old.orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
물2 후기:물1이랑 비슷한데 돌림힘 푸는데 아직 오래걸림 근데 사실 물2는 내신때...
-
중요시설 3D 이미지·위치·지형 등 데이터 실시간 전송 (하노이=연합뉴스) 박진형...
-
근데애니프사이셔서모르는척중
-
하루마키 이나바 히이라기
-
이번에 노베이스 지방에 살아서 ㅠ 재종은 그나마 갈수있는데가 부산 대성인데 부산도...
-
https://youtu.be/qiMQWPI_u3Y?si=QxgZWBPSZ7ygxOuQ
-
다른말로 하면 IoT전문가
-
통통이고 작년에 공통 세개틀럈어요202122 겨울때 수학 확 잡고싶어서 그런데...
-
컨텐츠 포함하면 500예상이라는데ㄷㄷ 1년 재수하면 5천ㄷㄷㄷ 부모님 연봉이...
-
진상이랑 도둑들 어떻게할건데 ㅋㅋㅋ 편의점갤러리만 가봐도 절대 대체불가능이란 걸 알수있다
-
ㄹㅇㅋㅋ
-
씹덕아닌일본노래 7
https://youtu.be/NFMmSOWPj_k
-
데이트할사람 5
?,
-
의사 없어질 직업 순위권인데 왤케 증원 못해서 안달임 10
코미디가 따로없네
-
수능과는 비교가 안될정도로 발상적인데 ㅅㅂ
-
제대하고 1-1로 복학하면 적응 가능한가요? 올해 수능치고 바로 군대 가야하는데 걱정이네요
-
지잡멘헤라 할바엔 그냥 죽음 ㅇㅇ
-
190921(나)는 못풀겠음 뭐지 보통 반대아닌가
-
노력하자..
-
-
20만덕이나 털렸음
-
역내에 있는 용우동집 제육 짜글이 상당히 맛있네용 +역에서 택시 탈 때 택시 승합장...
-
그 세점을 지나는 이차함수는 항상 존재?
-
이전에 내신하면서 시발점 & 공통미적 쎈 2회독이상했구요 수1 - 수분감...
-
구석구석 핥아주세여
-
-
기하영입률의 0.1퍼정돈 되지 않늘까
-
낮잠 엄청잤다 0
4시간
-
-
-
하는 투과목 투표좀 부탁해요
-
설날에도 사람 좀 제법 잇는 거 실화임?? 하긴 나도 어릴 적에 부모 좀 설득 좀...
-
취업하고 재테크 시작하면 기본 몇천이 깨집니다. 어릴 때부터 연습해야함
-
한지 세지둘다 백분위98나오면 지학2컷 가능할까요? 6
아니면 훨씬어렵나요?
-
잡대들...
-
지수로그 방부등식 까지만 찍먹했는데 기본예제는 다 맞거나 살짝 조건 놓쳐서 틀리거나...
-
트위터 이미지 2
트페미, 덕질, 야동
-
이놈들아
-
트위터한다고하면 6
좀 이상함? 뭔가 이미지가 바뀐거 같네 예전이랑
-
ㄹㅇㅋㅋ
-
-
-
2077년되면 0
진짜 사이버펑크처럼 되나
-
나중에 델꼬다니게되면 아들이냐 그러겠네
-
한양대 학부-원광대 로스쿨, 원광대 학부-한양대 로스쿨 4
둘 중에서 누가 학벌이 높은건가요?
-
과연 올해 기하는… 일단 1만명..?
-
와 ㅆ 추워 11
그럼에도 걸어가기
-
지듣노 3
그래서 나히아 정주행해볼까요? ㄱㅊ함?
-
생후 116일차 안아줬더니 입 대빵나와서 울라그럼 걍 놀아주니까 웃어주는데 이잉
-
아닌가요? 경쟁률이 5.00인데 어케가능함
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.