[결론을 부정하면 무모순] 증명
게시글 주소: https://orbi.kr/00071375161
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 무모순이다
공리를 부정하면 무모순=공리가 거짓이면 무모순
전제가 참이면 결론이 참
대우는
결론이 거짓이면 전제가 거짓
공리는 전제에 속함
따라서
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순
줄여서
결론을 부정하면 무모순
예제
1=1 을 부정하면 무모순
나는 신이 아니다 를 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
지구 강사 0
지구 인강 오지훈 말고 누구 좋은가요? 시대목동에 지구 괜찮은 사람 있나요??
-
근데 확실히 살다가 힘들때 기댈 수 있는 누군가가 있다가 없으면 좀 힘들겠다 12
항상 건강하십쇼 제가 비록 가진건 없지만 위로는 조금 합니다
-
수능 국어 머가 더 어렵나요
-
시대재종에서는 과탐 브릿지 나오면 현장에서 다 하나씩 응시하고 해설하나요? 8기분들 알려주세요
-
연치가고싶다 1
-
이미지 적어주세요 18
있었으면 좋겠네요.
-
근데 이제 빠르게 다 넘겨버리는 경우가 많아요 그냥 테두리 없애기용(?) 대신...
-
1학년 수학 내신은 4등급이었고, 2월 달 부터 수1 공부 시작했습니다. 시발점...
-
제가 좀 둔감한 건지, 누가 정시로 들어왔고 수시로 들어왔는지 관심없는 경우가 더 많죠? 0
제가 너무 둔감해서 그런가 저 같은 경우는 누가 편입생인지도 사실...
-
딮기의 개 ㅈ박은 밴픽 젠지의 이상한 밴픽과 이상한 경기력 그리고 이상한 카정...
-
예스
-
1월에 공통미적 수분감 끝내고 마더텅으로 교육청 기출 풀면서 뉴런도 계속 듣고있는...
-
네덜란드 팀이 이탈리아 전부 탈락시켜버림 PSV - 유벤투스 (탈락) 페예노르트 -...
-
가격만 보면 플로우 뺨한 3대 갈기는데
-
맘에 드는 닉 순서 10
셀레스티얼 > 사평우 > 어피니티 > 심심한 > 달리기선수
-
얼버기 4
좋은아침
첫번째 댓글의 주인공이 되어보세요.