이건어떰
게시글 주소: https://9.orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
대학생의 기초! 국민대 새내기들을 위한 교수님께 메일 작성하는 비법! 0
안녕하세요. 합격자 후배님! 저는 국민대 기계공학과 23학번입니다. 국민대에 처음...
-
순애가 11
순순히 애를 낳아라 맞음?
-
오뿌이 한명한명 다 소중한 저한텐 넘 가슴아픈 일이네요 새해를 맞아서 떠나가신걸까...
-
Hello mr my yesterday가 더 인상깊음 하도 들어서 그런가
-
최근에 좀 여러모로 부러운 친구가 있었는데 친해지면서 딥한 얘기를 하다보니까 이...
-
협곡 들어와라 12
넵
-
얼마나
-
ㅇㅈ! 11
냥이나 보고가라
-
잘자여 낼봐 친구들
-
화2는 그래도 시간 오래 쓰면 하겠는데 생2는 도저히 못건드리겠는데
-
애니 본 거 7
기억나는대로 다 써봄최애의 아이 조금암살교실 진격의거인나루토사펑체인소맨 크아아악 기억 안 나
-
맞팔 구함 4
ㄱㄱ
-
개념만 김기현쌤하구 기출부터는 양승진쌤 들을생각인데 파운데이션랑 킥오프가 개념이라구...
-
이분도 이름이 코난이라네요..
-
세배는 안하는데 0
세벳돈은 받는다 개꿀
-
애플펜슬이 오링나서 미루다가 걍 낼쓺
-
내 영어 공부법 0
1. 공부하고 집에 돌아와서 디코에서 전세계에서 온 사람글이랑 부질없는 얘기를...
-
이런 건 잘 안 떨어지겠지? 보통 떨어질 원서는 점공 보고도 느낌이 오나요?
-
좋앗을것을
-
Panorama(파노라마)- IZ*ONE(아이즈원) 이세계아이돌(ISEGYE IDOL) COVER 1
대 대 대 노래 진짜 너무 잘부른다
-
나까무라 지누스케
-
애니 추천 좀 7
공부, 오르비, 운동 중에 하나 버리고 애니 보겟음
-
렌고쿠 쿄쥬로
-
계속 버티면서 수업듣고 생각해보고 복습하면서 따라가는게 나을까요?
-
아니 이럴수가 0
나 하루종일 오르비만 한거야?
-
다들 잘 아네
-
님들 25수능 보니까 물화11만 멸망하고 나머진 백분위 표점 ㄱㅊ던데 16
이러면 연대 의대 갈 때 1이랑 2랑 차이 없는거임 물화 빼고 나머진?
-
이시카와미오 카와키타사이카 카미키레이 카에데카렌
-
수능공부는 왜 열심히 못할까 수능공부를 zetamax xyz 형태를 살려서 해야하나
-
1. 보이스에서 주도적인, 이니시 콜이 가능한 원딜 (세나, 오공) / 주도적인...
-
26렙인데 1
하루에 경험치가 4%씩 올라요
-
오구라 유나?랑 메구리? 둘 다 유튜브에 자주 뜨던데 인플루언서 맞나요
-
궁금하거든
-
안자 9
안잔다 그냥
-
가끔씩 우연히 찾은 개띵곡
-
워크북 뚫기가 너무 힘들군요 개념도 자세히 들을겸 쉬운문제를 반복적으로 풀어야겠어요
-
자지마.. 2
ㅜㅜ
-
기출 제대로 안봄+탐구 새로시작 인데 2월 재종 정규반,, 특히 시대인재 같은데...
-
요즘 장이 너무 혼란스러운듯
-
과탐문돌이가 되는 한이 있더라도 반드시 과탐을 칠 것. 물리랑 평생 함께할거야❤️
-
엉망징창 털림요
-
표면 온도가 100도... 정도로 추정
-
토욜에 파마했는데 15
파마한게 티가 잘 안나는거같아 드라이기 손질을 잘못했나
-
ㅎㅇ 8
ㅇㅇ
-
이정도까진 아닌데ㅋㅋㅋㅋ그래도 고맙네요
-
슬슬 인증각을 잡아볼까
-
고3 3
예비 고3인데 모고보면 국영수 4등급이고 사탐은 둘 다 1, 2등급 왔다 갔다...
-
3모 끝난 저녁... 오르비에 '3모 컷 왤케 낮음? 현역 수준 심각하네' 이런 글...
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.