아니 님들아 이거 진짜 혁신적인거 아님?
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
뭐할거임뇨???
-
빨테ㅡ달고시픈데 7
도와주세요 ㅠㅠ 매일밤마다 어그로도 존나 끌고잇는데 ㅠㅠ 레벨 잘 안올라가요 ㅠㅠ
-
ㅈ망한 이번생에 충분히 액땜한 결론 가능성이 높을 거다
-
수2같이 공통은 그냥 어차피 해야하니까 하는데 미적이나 과탐 같이 선택이어서 바꿀...
-
그냥 귀여움 뭔가호감임 뭔가웃김
-
홍익대는 1
조발 안할까요? ㅠㅠ
-
미적 낮2였다가 1년동안 수학 놓고 (올해 수능 3..) 1월부터 뉴분감 하구...
-
고래돈까스토담수저가용초수끄트머리집다정소반 이 정도면 명예 아남인 ㅇㅈ?
-
암산테스트 1트 2
-
아가 자야지 4
기술적 취침 ㄱㄱ헛
-
수능들어온지 어느덧 4년차라 오르비에도 꽤 많이 보이는듯. 원래는 살짝 희귀종? 이었는데
-
의대 치대 한의대 약대 수의대 ㅇㅇ
-
아이 써글 0
주거
-
캬
-
근무지 헬무지 걸리면 별별 못볼꼴을 다 보는데... 면제부터 화초지 ㅅㅂ
-
강민철T 조교 0
강민철T 조교는 현강생들 중에만 뽑나용?? 나중에 하고싶은데 현강 들어야 하나 고민중 ㅜㅜ
-
Bb많이뿌리겠지 4
설경제보내줘
-
항우 싫어
-
짤 4개 올리고 재목에 만나서 반갑습니다,저는 수학을 가르치는 현우진 입니다 적어서...
-
어싸 나만 어려움? 10
작수 수학 81점 받은 06재수생인데 강기원 T 어싸 뒤에 10문항 정도는 답지...
-
어디선가 봤는데 투위터같은데서 신음소리 내고 변조해서 변태들한테 팔아서 돈버는사람있댔음
-
-
바이바이 6
굿나잇
-
인문 진로 1
만약 경제학과 경영학과나오면 진로를 어디로 가나요
-
선호도 조사 셋 다 같은 지역 대학이란 전제 하에 ㅇㅇ
-
-
오래하면 늘어지고 효율도 안나오는데 그렇다고 짧게 하자니 글이 좀 읽힐때까지...
-
집에오지마 베베
-
극상위권이야 당연히 과탐하고
-
어차피 과탐의대 가려먼 국수 잘해야 하잖아 과탐할시간에 국수 쫌 더 하면 되는거 아닌가 ㅋㅋ
-
이거 교수님들이 강의하시는 거임??ㄷ ㄷ ㅈㄴ 재밌어 보이는데 이거..들어보신분 어때요??
-
자러가야겠구나
-
왜 올리는지 이해 안 가는 거 나만 그럼??? 그니까 같이 여행 간 사진 올리는 건...
-
온실화초 10
1. O(아직과외안함) 2. O(아기물개) 3. O(아무래도 그렇지?) 4....
-
언매 공부 0
사실 전 화작러임.. 화작 미적 화1 생2였음ㅋㅋㅋㅋㅋ 놀랍게도 같은 반에 이 조합...
-
위에 그림 모작한거임 애가 좀더 화난것처럼 됐는데 암튼 공부하던 시간 그대로...
-
공직선거법에 투표지 접어야 넣을 수 있다고 명시되어있다.
-
누난선생나는학생바로쓰자조퇴서 지베가지마 베베
-
언 확 생윤 사문 백분위 97 98 1 99 99여도 cc면 설경 빡세죠?
-
챙길때는 세상이 암울해보이고 한숨만나오고 토할것 같고 학교 선생들 면상 후두려쳐...
-
몇 번까지 돌 것 같음? 최초합 점공 안들어온 사람 부모님이 수만휘에 연상경최초합...
-
복습 하는법?? 2
재수생인데 요즘 수학만 해서 영어, 국어 복습 어떻게 해야할지 모르겠어요 공부...
-
우르프 하실 분 0
제곧내
-
안녕하세요 반수해서 이번에 대학 옮기려는 사람입니다 찾아보니 개강전에만 하면 된다는...
-
걔 여친은 한번보면 다외워서 노트필기를 안한다고햇던애임 세상에참신기한애들많음
-
온실 화초 0
아닌듯
-
언미쌍지인데 이번에 언미생윤사문으로 바꿔서 시대들어가는데 커리 추천좀... ㅜ...
-
1. X 2. O 3. O 4. O 5. 카투사>>>>>>>>공군 6. O 7. O 8. O
-
국평오 체감하는 방법 12
롤하기
-
벌써 2월이라니 ㅜㅜㅜㅜㅜ 몇달동안 뻘공부한거땜에 미치겠다 하…제발 작년으로 시간을...
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다