아니 님들아 이거 진짜 혁신적인거 아님?
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
골라조요
-
어캐 정리하지..
-
친구 생일 때 연락해서 군대 가기 전에 한 번 보자 그랬더니 군대를 2주 뒤에 간다...
-
이상한짓도 안했는데 왜 기평이미지가 박혔지
-
무심코 여자가 나 발견했으면 좋겠다는생각 나만해봄?
-
강대 손승연쌤 1
수업 듣는다!!!!, 존나 좋아!!!!!!, 꺄!!!!!!
-
하… 다들 꽃을 기가막히게 찾네
-
오르비에서도 아싸라 쪽지가 안 오는거임 내가?
-
ㅇ.ㅈ 9
ㅎㅎ
-
얼굴평가 3
07한테 35세가 뭐임 16살을 늘려버리네;;;;
-
새르비 2
개재밌네 진짜
-
대학커뮤니티 노크에서 선발한 중앙대 선배가 오르비에 있는 예비 중앙대학생, 중앙대...
-
작년에 심찬우쌤 너무 괜찮게 들어서 이번에도 알아보고 있는데 작년에 아쉬운 점이...
-
사탐이너무무서워 3
동아시아사가 너무 무서워 역덕이들이 너무 무서워 정사썰까지 다 알고 잇는 애들이...
-
과거에 대한 고찰도 하고 나름대로 시간 많이 가지면서 성격 썩 뜯어고치려 함 아직...
-
저번에도 내가 재밌는 메타 돌리라고 했더니 지금 사라진거 불안해. 진짜 아니야 형
-
당황시럽
-
선택과목부터...
-
캠릿브지 대학의 연결구과에 따르면, 한 단어 안에서 글자가 어떤 순서로 배되열어...
-
잘생기고 예쁨
-
은테가보자 2
응애
-
하던데,,,,,.
-
네컷 ㅇㅈ 12
네컷은 혼자찍은게 앖음
-
ㄴㅇㅅ 이륙함 1
ㅋㅋㅋ
-
반수 실패해서 돌아온건데 개인적 사유 라고 해도 될까요??
-
웃으면서 축하는 해주면서도 박탈감느껴짐 나도 못하고있는데.. 니가?
-
선착한명 인스타 5
알랴드림
-
수린이 슬슬 불안하다 10
진짜 꽈추 까는거 아닌가
-
제발 ㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜ
-
맞팡 해주실분있나요 ㅠㅠ 팜하니 네임드되고싶어요
-
이륙시켜주세요 0
https://orbi.kr/00071417937 미리고마워요
-
수학과 진로 0
금융권쪽으로 취업하고싶으면 경제 복전 많이 하나요...? 통계학과 없는 학교에선...
-
고발추섹딱스 11
전혀이상하지않은단어
-
해린아!!! 0
-
전 ㅈ못임 1
존잘이었으면 댓글 오조오억개 달렸음 아무튼그럼
-
나 없으니깐 인증메타네 10
서럽다 진짜
-
다른 사진 ㅇㅈ 18
얼굴이라곤 안했다
-
강기분은 문제가 너무 많아서 다른 교재 병행 안 해도 괜찮다는데 일클래스도 걍...
-
문과면 진짜 씹고능아 아니면 확통해라
-
ㅇㅈ 25
무서우니까 눈이랑 귀만… 펑!
-
본계 깔까 1
.
-
진짜 있음 몇명은 진짜루 대화해보고싶다
-
앞으로 수특 나오면 풀고 다음엔 마더텅같은 기출문제집 사서 풀 생각인데 더 해야할게...
-
흠
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥