아니 님들아 이거 진짜 혁신적인거 아님?
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
근데 지 엉덩이 쳐맞은 사진 올린애를 왜 진작 산화안시킴? 11
뭐 비슷한거라도 또 보고싶었나?
-
역시 크긴 컸나
-
오르비에서 보니까 새롭네(못봄)
-
옯순이들 있지않을까
-
통매음 맞음? 2
빛삭 했으니까 괜찮지 않을까
-
유튜브에서 보면 거의다 직업으로 그림그리는거 아닌이상 학생은 에어로도 충분하다 라고...
-
근데 이걸 못 본 새끼들은 인생 몇퍼 손해본거냐 ㅋㅋ 14
0% 안심하세요. 아무런 손해도 보지 않았습니다.
-
라고 고양이가 그랬어요
-
???????? 0
진짜에요?
-
20넘나요?
-
.
-
수능에서 1번선지보자마자 지우고 넘기기 ㄱㄴ?
-
진짜 미친놈인가
-
보법이 달라 보법이
-
수정 호다닥 한다고 해서 서버에 로그가 안남는 줄 암? 아마도 사진 파일 그대로 복구 ㄱㄴ 할걸
-
그런 게는 죽었습니다
-
대 수 린 그냥 사상개조를 시켜버림
-
? 4
?
-
인생 쓰다열등감 미쳐돌아버리겠네
-
저정도 되니까 옾톡에서 만난 누나가 엉덩이도 때려주지 6
ㅋㅋㅋㅋㅋ
-
ㄹㅇ로
-
근데 남자임
-
잘가라.. 2
못듣겠다이제
-
? 4
왜그럼
-
그니깐 종합해보자면 10
야추 20에 엉덩이가 탐스러우며 생각보다 멀쩡하게 생겻고 그걸 다 커뮤에 인증햇다.. 이겁니까..
-
진짜 골때리네 0
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
좆됨 ㄹㅇ
-
오르비 일동은 방금 상황이 이수린님의 독단적 돌발행동임을 알립니다 4
오르비 일동은 방금의 사태와는 아무런 관련이 없으며 이수린님 스스로의 판단으로...
-
빡갤 물2갤 하는 오하루 맞냐고 친구가 물어보는디
-
..
-
ㅅㅂ 팬티도 없이?????
-
4번에 낚였나? 이게 게딱지 오답률이랑 비슷하다고?
-
..?
-
선착순 4명 순차적으로 20
4k 3k 2k 1k 덕
-
대충 어느정도같았냐 12
나 못봄
-
표본 분석 해보니까 윗점수에 빠질 사람 많이 보여서 가고 싶었던 과 질렀고 못붙을...
-
ㅈㄴ 예술이네
-
알파메일<-이거 맞음?
-
진짜 어이가없네 5
잠 어떻게 자냐ㅅㅂ아
-
오르비법에만 걸리는게 아니라 진짜 형법에도 걸리네
-
근데 수리니 ㅇㅈ한거 10
캡쳐한 사람 아무도 없음? ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
아니 저런거달고 0
이거 보여주면 사람들이 얼마나 좋아할까 기대하면서 조심스레 지퍼내리는 상상하니까...
-
설마 둘다 올린거냐..
-
늦었다...
-
이성아니면 딱히 의미없다고 생각함 동성끼리 같이 밥먹어서 머하게
-
자 드가자 2
성폭력범죄의 처벌 등에 관한 특례법 제13조(통신매체를 이용한 음란행위) 자기 또는...
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥