아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
뭐먹을까요
-
남들 공부할때 쳐놀고 남들 잘 때 공부하기 ㅋㅋㅋ
-
이상한 점수로 백분위 100이 뜨니까 기분이 더러움
-
스꼬시 츠메타이 ~
-
-
https://youtu.be/mp2-w15SXms?si=aVcZvZRHRRoadsym
-
늦게 가면 체육관 자리없으니 걍 점심도 거르고 체육관으로 채들고 뛰쳐나갔고 고3때...
-
통통이기준요!!
-
젭알
-
성인이 되고 나니까 18
내가 얼마나 한심한 사람인지 여러모로 느끼게 되네요. 세상엔 나보다 인성도,...
-
수열의 극한 개싫은데 다행 근데 이젠 다 맞아야 하는데... 미분 들어가니깐 변명도 못하겠고
-
양승진 기코 1
김범준 스블 듣고 있는데 강의가 밀려서 카이스 아나토미는 안들을 예정입니다. 양승진...
-
스트레스 좀 풀고 싶은데
-
외출할때마다 문제가 생겨서 집에 왔다갔다를 반복하는 나
-
팔도비빔면 어묵 국물 스프 맛있노
-
마치 제 인생처럼
-
어디감요? 집 가까운 곳?
-
계획 1
수학 -복습 원순열 오답노트,중복순열,같은 것이 있는 순열 영어단어 -복습 영단어장...
-
진짜 간첩짓인가 0
산불 이게 말이됨? 안그래도 정국 혼란한 와중에 흉흉하게 만들려는 계락인가
-
개운하노
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다