이건어떰
게시글 주소: https://old.orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ㅈㄴ 안 오름 나 댓글머신인데
-
-
[칼럼] 연세대학교 조기발표 일정에 대한 심층 분석 22
오르비 계정은 만에 하나 무언가 입시에 문제가 생길 것을 대비해 공론화 목적으로...
-
김준 풀이 1
김준 풀이 체화하려면 크포 문제 계속 반복해서 풀고 듣고 풀고 듣고 하는게 좋나요?...
-
히리이ㅣㅇ ㅠㅠ
-
그의여자친구는 먹던밥을뱉었다
-
부자가 된 기분
-
반려는 또 뭐임
-
-
-
(서울대 합격 / 합격자인증)(스누라이프) 서울대 25학번 단톡방을 소개합니다. 0
안녕하세요. 서울대 커뮤니티 SNULife 오픈챗 준비팀입니다. 서울대 25학번...
-
뭔가 나의 거대한 주식같은 느낌임
-
현역이고 3등급이라 기출도 어렵게 읽힘 어디서 수특이 쉬운 편이라는 말 들은 것...
-
고냥 고렇던데
-
들어가볼까 흐흐
-
이게 다 노박사 때문이다
-
올해 다군 추합 0
외대 경영 추합 얼마나 돌까요?
-
ㅈ반고 0
ㅈ반여고에서 미적 계속 전교1등이었는데 작수 미적 4개 틀림 히히 ….
-
비행기랑 빙고ㅆㅅㅌㅊ
-
덕코 달달하네 4
-
윤측 "공수처, 탈취한 도장으로 문서 위조…초유 사태" 1
[이데일리 백주아 기자] 윤석열 대통령 변호인단이 고위공직자범죄수사처(공수처)와...
-
재종이라면 어딜 가야하고 기숙이면 어딜 가야하나요 추천 좀 해주세요 ㅜㅜ 정보가 하나도 없습니다
-
5인 1방 2
ㅋㅋㅋㅋ
-
보관은 어디다 해요? 냉장고? 실온?
-
저는 4월에 있는 세무사 1차를 치래요 한달에 한 과목씩 끝내야 할 판인데 ㅅㅂ
-
현역정시삼룡의 0
부럽다
-
일월 언어연구소입니다. 법학 지문을 어려워하는 학생들에게 도움이 되길 바랍니다.
-
인간 vs ,사람 14
뭘 더 좋아하시나여
-
???☠️☠️??????????????? 간절 간절 간절 제발 제발 제ㅂ발
-
안녕하세요. 제가 수학 과외 수업 때 사용하는 자료 공유드려요! 제가 그동안 수업...
-
수학 노베 개념 2
학원에서 수업듣고, 학원 교재인 수학의바이블 풀고 개념 단권화해서 외우려는데...
-
이불 밖으로 손 잠깐 꺼냈다고 이렇게 추울 수가 있나...
-
누구듣ㅈ..ㅣ 작년에 3 4 왔다갔다 함
-
수1 수2는 시발점 사놓았던거 다들었는데요 솔직히 볼륨 ㅈㄴ커서 (+필자 본인 노베...
-
멋이 다 흘러 4
흘러서 넘쳐
-
제발
-
https://xurl.es/4stnb
-
국어 N제 0
예비고3입니다 수능평가원 기출은 마더텅, 김상훈쌤 유네스코로 2~3회독 정도...
-
병훈쌤 패파 만들면서 소통하는거 재밌었는데
-
점수가 꽤낮은거로 아는데 가망없으려나요 진주교댄데 일단 공부는 할생각
-
반갑습니다. 7
-
아 망햇다 5
깜빡하고 정신을 냉장고에 넣어두고 그냥 나왓네 어카지..
-
판서 내용 전부 다 필기 하셨나요? 아니면 중요한 부분들만 따로 적어두셨나요 전부...
-
강기분.. 0
형들 강기분 독서2 문학2 문학 익힘책 ㅈㅂ
-
맛보기만봐도 뇌터질거같이 암기가많음 암기쥐약인 나에겐..넘힘들어
-
외모는 수학 성격은 국어 키는 영어 탐구는 지능
-
동네얼짱이론 1
정병훈:(열린 구간을 잡으며) 저는 얼짱입니다
-
다른 과목 20등급만 올리면 서울대 가겟네
-
3년만이 수능인데 뭐가나음? 지금 시발점 수1,수2, 확통이랑 쎈풀면 안늦을라나 걍...
-
잇올 한달 단위 2
만약에 1월 5일날부터 등원했으면 2월 5일까지임 아니면 30일지난 후임?
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.