충격적인 발견을 함..
게시글 주소: https://orbi.kr/00071901456
1. (A가 거짓일때->모순이 있다)->(A가 참이라는 증명이 있음)
1의 대우명제를 만들건데
p->q의 대우명제는 not q ->not p 임
그리고 b->c 의 부정형은 b and not c임
따라서 1번의 대우명제는 2번.
2. (A가 참이라는 증명이 없으면)->(A가 거짓이고 and 무모순이다)
2번을 보면
"A가 참이라는 증명이 없으면, A가 거짓이다"
A에 공리를 대입하면
"공리가 참이라는 증명이 없으면, 공리가 거짓이다"
공리는 원래 참이라는 증명이 없음
따라서 공리는 거짓임
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
지금까지 안잤네 진짜 어카지 조졌다 하…..
-
고1 11월 이때까지도 근본이 없엇음. 근데 이때쯤 되니 원서를 봐야하는 상황이...
-
막 부모님이랑 싸우다가 부모님이 화내면서 님들 소중한 물건 찢거나 버리거나 한적...
-
순애란 13
그냥 그 사람 얼굴만 봐도 행복해지는 거 아닐까요 저도 현우진이랑 순애 중이에요
-
학원에서마냥 무지성 암기보단 단어를 외우더라도 예문을 보고 그 단어를 한국어 뜻보단...
-
얼마나 사랑해야 순애인건데...
-
잘 자요 좋은 꿈 꿔요
-
아군
-
죄송합니다 10
이말 아이고랑 같이 습관됐다 어카냐
-
2.13 일기 7
사람들은 왜 수능을 더 보려고 하는걸까 비단 수능뿐만 아니라 편입이나 논술도...
-
나는 내가 잘못한게 없는 것 같다 아무리 봐도 나는 그냥 억울해 솔직히 내가 잘못한 건 아닌 것 같은데 13
왜 내가 욕먹어야하는거지
-
사람이되고싶다 4
앞으로 남은 272일동안 쑥과 마늘만 먹으며 수능을 준비한다면 4수 끝에 사람이 될수 잇을까
-
뭐 먹어야함 8
ㅇㅇ
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함