아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
넌ㅇㅈ이다
-
올해 중대 뺑뺑이 어느정도로 돌까요? 22 23 24학년도 중에 유난히 작년(24)...
-
이미 엄청 밀려났네
-
개삘이네요 으슬으슬함... 올해 들어서 건강한 날이 없네
-
그치만 바로 벌점 먹고 산화당해준다면 해도 됨
-
96 98 100 89 89점 때 표점이 제일 높았던... 140이었음 ㅋㅋㅋㅋㅋㅋ...
-
그냥 딜러가 개구데기인 게 맞다
-
평면 위에 타원 얹은것도 나름 참신했고 무엇보다 제가 풀었기 때문이에요..!!
-
니게tv 개국 88일차
-
이상태로 학교를어캐다니냐 근데 더 쉬면 인생 망함 ㅋㅋㅋㅋㅈ같다...
-
설대 내신 cc 5
내신 cc에 제2외국어 9등급이면 설대 문과 가능하긴 함? 그정도면 문디컬이 쉬울려나
-
푸쉬업 어렵던데 5
정확한 자세가 뭔지 잘 모르겠음 그래서 요즘 잘 안함..
-
이미 좆된걸 알고있어서 걍..어느정도 실감은 나는데 그상황에서 오르비에 눈을뜨니 걍...
-
성적표로 과외알바 구해도됨?
-
-
-
건강이 안좋다 5
님들도 조심하셈
-
리트 가르친다는데 ㄹㅇ ㄹㅈㄷ
-
08이라서 못함 ㅠ
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다