아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
걍 아무감정없이 할수도있는 행동임? 술마시고 지인짜 약간만 비틀거렸는데 뒤에서 어깨...
-
수학의 정석 괜찮을까요?
-
ㅎㅎㅎ
-
6모배틀 ㄱㄱ 2
님은 6평 전 고2 모의고사 풀게요 ㅎㅎ
-
시발 진짜 3
궁금해서 잠이 안 온다
-
ㅇㅈ 6
토트넘 승률 5퍼 ㅇㅈ
-
근데 내가 장원영이면 남친 안 사귐 내가 제일 잘난데 다 하찮아 보일듯ㅌㅌ
-
우와 저 헤어졌어요 12
어제 펑펑 울었음 ㅋ ㅋ ㅋ ㅋ ㅋ 하아
-
정치성향 ㅇㅈ 6
뭐야 나는 내가 보순줄 알았는뎅
-
근데 기타치는 남자가 11
기타가 매력포인트가 됨? 통기타 아니고 일렉인데
-
정화작업 2탄 3
반응 제일 좋았던 걸로 안구 정화 시도
-
수2 개념 5
예비고 2여서 수2 하려하는데 시발점으로 할까요? 시발점 보니까 80강이 넘어서...
-
-
알뜰폰으로 한달만 하면 만원도 안내고 각종 계정 만들 수 있음
-
예전 기출인데 B국이 철제 통조림 개발했고 B국에 유학갔다온 C국 발명가가 철제...
-
난 스스로 인상 되게 날카롭다 생각했는데
-
한남평균이라서 울었어
-
특별히 엽사 올려드림
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다