아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
순폰 시간을 줄이는건데 쉽지 않음
-
버스 놓쳤다 아 3
알바 늦겠네 십
-
-
-
중소 정도까지 내려오니까 망하는 회사 많아져서 요즘따라 회사나 사업부 사고팔고...
-
ㅈㄱㄴ?
-
먼저 있었다고는 들었을 경제지리 옛날 한국근현대사, 정치, 법과 사회 등 과목...
-
너네 몇살이냐 10
어휴 유치한 넘들
-
미적 100 2
미적 100 되려면 어케 해야함? 옛날부터 꿈이였음 이번에 재수하는데 지금 수학만 오지게 하는중
-
언매황 도움좀 8
EX)부엉이는 남자다 부엉이는 남자가 되었다 두번째 문장은 보어/서술어 인건데...
-
사탐 1컷이면 5
과탐 몇 등급 정도인가요?
-
탐구 꿀팁 8
Omr 가로로 문제 가려놓고 Omr보는 척하면서 튀어나온 문제들 풀면 됨
-
누가보면 3
연고대 보고 성대 급의 속전속결을 기대하는줄 그냥 설날 수금이나 하게 해달라고요...
-
아이시떼
-
-
1년안에 9
전과목 노베에서 서울대 가능한가요
-
아래 장문의 글을 쓰게 된 동기는, 한양대 물리학과와 중대 전전을 고민하는 분이...
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다