아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
아 케잌 포장할까... 10
그치만 딸기가 계속 먹어달라고 지켜보고 있어 힘낼게요
-
저여르비임 6
ㄹㅇ로
-
어떤 느낌임
-
중3때부터였습니다. 그땐 아직도 코로나가 유행 중이여서 학생 모두가 마스크를...
-
-
차디찬 공기 특유의 냄새.
-
알려주세요
-
-
막 재야의 고수들이 실모로 목숨을 걸고 싸웠다는…..
-
근데 재미없어서 거의안하긴했음
-
-
나보다 못생긴 사람도 잘만 사귀더라
-
고대나 중대는 0
정식 발표일 자체가 이르기라도 함 24일 15일 정식 발표일을 빨리 잡기도 싫고...
-
https://orbi.kr/00071410703 모든 참인 명제를 부정해도 무모순...
-
배 터질라그래 하지만 이 양을 누가 포장해줘
-
바람피기 딱 좋은 기능같은데 없애주면 안되냐 ㅅ발
-
내신 2.6x 지방일반고(표편 10중반)다니고 잇습니다. 원래 생명에 관심많아...
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다