아니 님들아 이거 진짜 혁신적인거 아님?
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
https://orbi.kr/00071417937
-
장난입니다
-
ㅋㅋ
-
잘가요
-
수린이 놀라운점 2
괜찮게 생김 진짜로 ㅋㅋ
-
.?
-
미친새끼진짴ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
오빠 나한테 한 300만 줘봐
-
아 못봤노 ㅋㅋ 0
ㄲㅂ
-
진짜모름
-
Big해서 ㅇㅈ 1
자신감도 대물이다
-
뭐인증함 3
잠깐 일하다왔는데 메타못따라가겠네
-
옯찐따 서럽다 에휴뇨이
-
세다 0
확실히 세다
-
한완수는 실전개념정리한걸오 알고있는데 한완기는 그냥 일반 기출문제집이랑 같은가요?
-
ㅇㄱㅈㅉㅇㅇ? 0
이걸 못 보네
-
진짜 ㅇㅈ했음?? 18
엄..........
-
진짜 개시발 0
이걸 진짜하네 와 짐짜 내 생각보다 더또라이네
-
새끼 이거도 기만질이였어
-
수식풀이 한정 평가원기출 중 난이도 압도적 원탑 같아요 오래전에 210921을...
-
여실히 느낀다
-
ㅋㅋㅋㅋㅋㅋ 0
ㅋㅋㅋㅋㅋㅋㅋ
-
레전드노 ㅋㅋ
-
뭐야ㅠ진짜함? 1
ㄹㅇ?
-
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
뭘본거지 4
-
수학의 정석 괜찮을까요?
-
오르비 한정으로 ㅈㄴ 강력하게 기억될듯ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ 사실 힙합 안들으면 잘...
-
넌ㅇㅈ이다
-
이미 엄청 밀려났네
-
키킼
-
다들 잘자요 0
굿 나잇
-
야추 인증함? 5
몇센치임?
-
댓 글 너무 역겨워서 그냥 까고 탈르비하자 ㅋㅋㅋㅋㅋ
-
여자분 키가 나랑 비슷한데 본인은 키 상관없다고 해도 자꾸 내가 주눅 듦 이거 어캄?
-
그치만 바로 벌점 먹고 산화당해준다면 해도 됨
-
흠
-
차단은 미리미리 5
후후
-
야!!!!
-
저격 아닙니다
-
-
수2 개념 4
예비고 2여서 수2 하려하는데 시발점으로 할까요? 시발점 보니까 80강이 넘어서...
-
난 안볼거임
-
-
여친 사귀면 바로 드러낼 계획인데 변태라고 까이려나 퓨ㅠ
-
wrc 재밌음? 1
함 입문해 볼까
-
대가리에소주꽂았니??
-
아니 이걸 떨쳐내라고는 하는데 그때 선택잘했으면 인생이 더 잘 풀렸을거라고 확신이...
-
어떤가요
-
님들 서브웨이 키오스크로 주문함 직접가서 주문함?
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥