이건어떰
게시글 주소: https://i.orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이미지 메타 탑승 34
ㄱㄱ혓.
-
내 이미지좀 3
궁금해
-
나죽어
-
많이 늦나요??
-
덕코는 주고..
-
어케되려나
-
탈릅 전 무물보 4
한 번은 해보고 싶었어요 질문 없음 서러운거고 뭐...
-
저한테 많이들 쓰시던데 귀엽다는 뜻인가
-
이미지를 써주세요 14
-
1. 부산대 밀캠 인식이 어떤가요 2. 부산 내 대학이랑 비교해선 어느정도인가요...
-
25수능이 끝나고 당시 반응은 "물리학1 매우어렵다"이거였음 메가에서 등급컷...
-
뭔 뜻임뇨
-
고2 국어 학평 백분위는 3번 다 백분위 100 원점수 (89 100 98)이였고...
-
소신발언 0
솔직히 심찬우T 김상훈T 윤성훈T ㆍ ㆍ ㆍ ㆍ ㆍ ㆍ ㆍ ㆍ ㆍ ㆍ ㆍ ㆍ ㆍ ㆍ...
-
질질 5
흘리기
-
오르비 안숨기고하기 가능
-
등록금으로 다 나갑니다( -4,400,000 ) 거지가 됩니다 다시 돈을 모읍니다 반복 하...
-
고2올라가고 인강들어본적이 없어서 그런데 수1 거의 노베입니다 내신으로 갈거고요...
-
시대 라이브반 3
동내 수학 학원 끊고 시대 라이브 들어보려고 하는데 들을만 한가요? 16만원 정도...
-
나의 이미지는? 10
써주세요
-
네.
-
내일 하루종일노는데 할게없음
-
나는 무엇을 하고 잇는 것인가... 책값과 패스값으로 얼마를 쓰고 잇는가...
-
미미미누 영상 보는데 입에서 침이 나와
-
어차피 대충 결과가 보이지만 어쨌든 입학처에서 보고싶다!!
-
ㅈㄴ 안 오름 나 댓글머신인데
-
-
[칼럼] 연세대학교 조기발표 일정에 대한 심층 분석 7
오르비 계정은 만에 하나 무언가 입시에 문제가 생길 것을 대비해 공론화 목적으로...
-
김준 풀이 1
김준 풀이 체화하려면 크포 문제 계속 반복해서 풀고 듣고 풀고 듣고 하는게 좋나요?...
-
히리이ㅣㅇ ㅠㅠ
-
그의여자친구는 먹던밥을뱉었다
-
부자가 된 기분
-
반려는 또 뭐임
-
-
-
(서울대 합격 / 합격자인증)(스누라이프) 서울대 25학번 단톡방을 소개합니다. 0
안녕하세요. 서울대 커뮤니티 SNULife 오픈챗 준비팀입니다. 서울대 25학번...
-
뭔가 나의 거대한 주식같은 느낌임
-
현역이고 3등급이라 기출도 어렵게 읽힘 어디서 수특이 쉬운 편이라는 말 들은 것...
-
고냥 고렇던데
-
들어가볼까 흐흐
-
이게 다 노박사 때문이다
-
올해 다군 추합 0
외대 경영 추합 얼마나 돌까요?
-
ㅈ반고 0
ㅈ반여고에서 미적 계속 전교1등이었는데 작수 미적 4개 틀림 히히 ….
-
비행기랑 빙고ㅆㅅㅌㅊ
-
덕코 달달하네 4
-
윤측 "공수처, 탈취한 도장으로 문서 위조…초유 사태" 1
[이데일리 백주아 기자] 윤석열 대통령 변호인단이 고위공직자범죄수사처(공수처)와...
-
재종이라면 어딜 가야하고 기숙이면 어딜 가야하나요 추천 좀 해주세요 ㅜㅜ 정보가 하나도 없습니다
-
5인 1방 2
ㅋㅋㅋㅋ
-
보관은 어디다 해요? 냉장고? 실온?
-
저는 4월에 있는 세무사 1차를 치래요 한달에 한 과목씩 끝내야 할 판인데 ㅅㅂ
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.