아니 님들아 이거 진짜 혁신적인거 아님?
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
구매해따 0
사이버펑크 정말 명작입니다!
-
도태한남 ㅇㅈ 0
-
중딩때 ㅇㅈ 3
나도 저런 옷 어떻게 입었는지 싶음
-
먼 ㅂㅅ같은 문화노
-
ㅋㅋ
-
닭집 2대 0 5
물론 닭집이 0입니다.
-
어카냐
-
7시간 넘어가면 힘들더라..
-
ㅋㅋ
-
ㅠㅠㅠㅠ 4
ㅠㅠㅠㅠㅠㅠㅠ ㅠㅠㅠㅠㅠㅠㅠㅠ ㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠ ㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠ...
-
편돌이 폐기 떴다 10
-
금테되면 1
ㅇㅈ함
-
라면먹고싶다
-
코코낸내 5
잘자요
-
은테 달면 ㅇㅈ 3
맞팔해두려요
-
Ai 이거뭐임? 6
본인 우리집 햄스터 머스크 순 신기하네
-
잘생겼는데 의대다니면 자퇴해라 ㄹㅇ 누구 말하는지 본인은 알거다 ㅇㅇ
-
ㅇㅈ 10
-
그나저나 쌍수 전 사진 돌리니 6.1 나옴…
-
ㅜㅜ 정답률 80후~90초 되는문제 10문제 푸는데 4시간걸려서 개현타왔음
-
17살 노베이스 입니다. 공부를 해보려고 하는데 공부 커리큘럼을 어떤식으로 짜야할지...
-
예전의 흥쌤이 아닌거같아
-
진짜ㄹㅇ루다가
-
지방 일반고입니다. 기계나 전자공 희망합니다. 제가 2학년에 동아리 회장을 할거...
-
여러분 잘자요 4
내일도 화이팅!
-
시간도 40분 썼고 30번은 엉뚱한 부분 넓이 구해서 틀렸어요...확실히 기하는...
-
실시간으로 지르는 소리에 나도 축구를 볼까 고민중입니다..
-
다이어트 해서 몸매를 가꾸고 여장을 하면 됨니다! 마스크 쓰면 됩니다 얼굴은 칼로...
-
이 둘이 커플이면 남자는 여자가 남사친 없으면 좋아하나요 보통?
-
ㅇㅈ 4
캬캬
-
갑자기 다들 뭐고
-
참고로 확통은 고1 내신만 했어서 완전 노베임
-
ㅇㅈ 16
-
1월에 생일이 몰려있어서 지금 ㄹㅇ 빈털털이임 알바 대신 소매치기 연습할까
-
ㅇㅈ햇을때의 예상 댓글 넌 그냥 의대가라…이럴까봐무섭느
-
오르비를 끄자 5
건강에 안 좋네요
-
기숙사 떨어진 홍대 새내기들 주목! 자취하기 좋은 동네 3선? 0
대학커뮤니티 노크에서 선발한 홍익대 선배가 오르비에 있는 예비 홍익대생, 홍익대...
-
광배근 ㅇㅈ 7
-
신남성 연대 1
연대 조발해라 씹새들아...
-
선넘질받 8
심심함
-
응응…
-
나도 ㅇㅈ 9
이거밖에없다 ㅜ
-
작년 재작년 재재작년 추합 수가 5명 7명 8명임. 저 붙을 수 있으?
-
무물보 8
내일 아침에 1종 대형 기능 보러 감 (군대 가려고) 고려대는 수리논술로 감...
-
Adhd 공부법 1
현 예비 고2 학생입니다.. 얼마 전 본인 스스로 많이 산만하고 집중도 잘 안되는...
-
에버튼전 흥쌤 공 잡으면 야유 심하네
-
화가 나는구나 여붕쓰 몸매 인증 이런거 아니면 안볼거니까 좋은거가져와라
-
미적분 강호길 쌤 들을까 아님 이정환쌤 들을까 김도혁 이종완쌤도 계심
-
대 클 롭 0
축구감독 외모 goat
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥