이건어떰
게시글 주소: https://io.orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
대통령 측 “中 드론·기밀 유출…하이브리드 전쟁 중” 1
[앵커] 탄핵 심판에 다뤄질 하이브리드전 다소 생소한 개념이죠. 대통령 측은 우리가...
-
암산테스트 3
ㅅㅂ 70 찍을때까지 한다 오기생기네 ㅗ(여기서 한 30판가량 생략함)
-
제발 누군가 5
나의 글쓰기 기능을 막아줘
-
짭이 더 아이민이 빠름ㅋㅋㅋㅋㅋ
-
하하 귀엽네요 ㅋㅋㅋ
-
된다면 나도 저능부엉이로 닉변할까
-
50gb 1100원 200gb 4400원 둘중에 어떤거 살까요 50gb 쓰다가 부족하면 업글할까요?
-
코카콜라
-
요청 ㄱㄱ
-
드디어 23레벨 14
휴.... 힘들었다
-
헬스장 가려고 했는데 너무 춥네요...내일 가야겠어요 시부레
-
고석용 문제집 6
올해 기출 580제가 작년 440제 작년 기출 추가 한 것인데 작년 문제집과 동일한...
-
찐친 1
서로 패기
-
백석 유우명하지 안나 37
아닌가
-
쓰면 동일닉 ㄱㄴ한거아닌가
-
학교-4년제대학교 위치:대구광역시 특징: 전원 기숙사생활 원칙, 4년동안 매월...
-
짭능부엉이 뭐노 ㅋㅋㅋㅋㅋ
-
에효 0
삶은 여전히 가짜같구나
-
이겼다 6
우리 집안 사촌들 경성 동아 경상국립 등등 본인 “경희”
-
ㅈㄴㅂㅇㅇ 2
이쯤이면 컨셉인지 찐인지 구분이 안가여...
-
부엉이는 하나로 충분하다
-
법대와사시를부활시켜라
-
이화여대 ㅇㅈ 10
내가 이화의 가고 싶어하는 이유 : 어릴때부터 제일 친하고 존경하고 좋아한...
-
이명학 신택스 2회독 정도 한 거 같긴한데 안 한지 오래돼서 다 까먹긴 했어요....
-
ㅇㅈ언제함 2
대기중임.
-
-> 라이거 반대는 타이곤임
-
농어촌 가능해요 그냥 궁금해서 물어봄
-
정품은 이제 더 이상 떨어질 이미지가 없음
-
저는 좌빨극우임 2
?
-
심심해유 0
ㅇㅈ해주세요
-
말로만 인증한거 아니고 찐으로
-
스카이캐슬볼까 0
입시끝났으니까 ㅈㄴ재밌게볼수있을거가튼데 흐흐
-
의문
-
그림그려드립니다 14
그림 그려드립니다 크하하
-
저는 극우좌빨임 4
??
-
정시 연대 디스플레이융합공학과랑 약대 붙었는데 어디갈지 추천좀 해주세요 연대는 계약학과예요
-
투자해볼까 생각중인데 11
경험용으로 100?정도로 근데 그냥 주식하는게 낫겠지? 코인은 너무 도박성의 느낌이 강한듯
-
다이어트 정체기 5
비상비상 몸과 마음은 지쳐가는데 몸무게는 쉴 틈을 안 준다 딱 오키로만 더 빼자
-
사람들 많네 0
영화 탈주 안 봄?
-
아빠는 서울대 엄마는 이댄데 나는 건동홍 턱걸이라 우럿서..
-
오류 정지됨
-
학교-3년제 전문대학,기숙사 생활 원칙 위치-인천광역시 남동구 슬로건-인천으로의...
-
통대지 바베큐 1
해줘 기대중
-
채찍보다 좋음?
-
근데 요즘 아파트는 헬스장 목욕탕 탁구장 스크린골프장 이런거 다있음? 9
어디는 식당도 있던데 신식이면 다 있나 요즘
-
여캐투척 0
-
이새끼왜20만덕이넘어감
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.