아니 님들아 이거 진짜 혁신적인거 아님?
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
근데 내가 장원영이면 남친 안 사귐 내가 제일 잘난데 다 하찮아 보일듯ㅌㅌ
-
2명만 더 0
-
손 ㅇㅈ 0
-
ㅇㅈ웨함 6
ㄹㅇ
-
그 약간 사람이 재미가 없음 광대애들을 ㅈㄴ 부러워하긴함ㅋㅋㅋ
-
얼굴깐 ㅇㅈ 4
조회수 3중 2명은 알아냈는데 다른 한분은 끝내 밝혀내지 못했어요..
-
ㅇㅈ 7
자기전에 아이컨택 재탕
-
현역 이과 정시 1
안녕하세요. 저는 현재 고3 올라가는 정시파이터 입니다. 내신은 잘 못챙겨서 일반고...
-
ㅇㅈ 18
헉.
-
또 기만질임.? 0
ㅇㅈ메타 볼 때 마다 운다 ㅅㅂ
-
배기범쌤 강의 0
25필수본 26필수본 25강 열역학 보면 옷이랑 오프닝 멘트가 너무 유사하고 3순환...
-
확통 5년넘게 안해서 다까먹었는데 어카지 아니 공부하면 할 순 있을거같긴 한데...
-
나도 맞팔 할래 8
가입만 하고 이제 활동하는 완전 뉴빈데 나도 맞팔!!
-
김동욱 1
자러가겠습니다 ㅂㅇ
-
ㅇㅈ 23
펑
-
으흐흐
-
ㅇㅈ 1
유포르비아 귈라우미니아나
-
맞팔9 9
ㄱㄱ
-
점수는 631이고 점공상 45/345임 (계산기상 54등정도) 면접은 10분중 무려...
-
1. 학교 매점 아주머니랑 예전부터 사소하게 다투고 있었는데 이런걸 겨우 날 받아준...
-
. 8
.
-
해줘라 좀.
-
걍 풍부한 알림창 볼라고?
-
사탐 0
방학때 국영수 물리 공부하고 사탐은 개학하고 시작해도 되나요?사문입니다
-
고해성사 1
사실 장발 남르비입니다
-
오늘도 6시 기상 도전...........
-
정법 올해 표점도 그렇고 불안정해 보여서 사문하려고 했는데 2
수특 펼쳐서 보고 읽는순간 가슴이 뛰고 재밌는데 해야하나요..
-
시발점 워크북과 함께 빠르게 끝내고 다음 커리 뭐 ㅅ어쩌고 가도되냐? 아님 쎈발점...
-
맞팔메타. 참전 1
-
맞팔메타이군 2
그럼 나도 메타 탑승 잡담 태그 잘 이용합니다
-
?
-
맞팔ㄱ 7
ㅈㄱㄴ
-
엉엉
-
맞팔해요 2
잡담태그 잘 달아요
-
ㅠㅡㅠ
-
맞팔 구합니다 5
13 여르비 맞팔 구해요~
-
전반끝 0
소감 : 투헬 얼굴 오랜만에 보니 기분이 좋다 마레스카는 꺼져라(사견)
-
친하게 지내요 。◕‿◕。
-
오랜만에 맞팔9 3
-
오늘의 ㅇㅈ은끝 0
잘자요 코코낸내
-
ㅈㄱㄴ
-
나도 맞팔 구 12
?
-
본인 f1 덕후임 있으면 맞팔해줌 동지를 찾고싶어
-
하던 거 하자...? 찍먹만 좀 더 할 수도..
-
죄다 헛된 인증이잖아
-
다 진지하게 좀 잘생기고 예뻣음 원래 안 이러는데 신기하네
-
수리논술 0
기하공부 어캐 함요?
-
ㅇㅈ 8
고1때는 파릇해도 너무파릇했네 오르비가 뭔지도 모르던시절 지금은 썩었음
-
23,29,30 풀어봤는데 29가 가장 할만한듯 노베치고는 잘하는듯
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥