아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
굿나잇 2
ㄴㅇㅂㅈ
-
돈줘 2
돈내놔
-
너무졸리네 1
흠
-
인생 업적 1
구구단 외웟음
-
-
뻥임 안 보여줌 몇개 잇긴함
-
아이유 우울시계 이거 반복해서 들으면 눈물이 쏟아짐...
-
수능수학적 정보가 많은 칼럼보다 좀 경량급 칼럼이 호평받은거 나름 충격이라...
-
자다가 깼네.... 안녕하세요? 처음 뵙겠습니다
-
ㄹㄹㄹㄹ 이러고 잇으면 머하나
-
사문 인강 1
임정환 듣다가 27강 도표에서 걸쳐서 무슨말을 하는지 도통알수없고 판서랑 책이랑...
-
현역 고3이고 이번 3모 화작 3개틀리고 74점 나와서 2떴는데 언매 해도...
-
새벽이라우울하군 1
잘까
-
연계였어서 그냥 쌩으로 물어봐도 될 문항을 빈칸형으로 15번에 박아서 물수학이란 평을 듣게함
-
다 나가네 걍 1
으음
-
5등급 현역 정파 국어 공부법 좀 알려줘 제발!!!! 간절함!!!!! 3
잉단 난 정신 개늦게 차림 고1 2학기때 정신 차린줄 알앗는데 아니엿고 고2때가...
-
수의대
-
더 푸는건 시간 좀 아까운데 그냥 자야겠다
-
D-221 0
영어단어 영단어장 day1 영어 어려웠던 문장 복습 힘 빼고, 휴식기간 가졌으니...
-
또 풀어볼까
-
그냥 순수하게 재미씀 읽고있으면
-
N티켓 괜찮네 4
쉬워보여서 안풀려다가 밤에 심심해서 푸는중 문제가 깔끔해서 재밌네
-
오이이아이오오이이이아이
-
못 막음
-
영상 봤음
-
이것만 올리고 자러갈게요
-
이겨다
-
선착순한명 3
차단해드림 차단자리너무여유로움
-
고2 상위권 남학생, 생기부 너무 대충하는데 진짜 속터지네요. 내가 대학가냐 니가 대학가지…
-
슬슬 3
새르비 합류선언
-
그런거임
-
좀 채울까 82872같은 애들
-
니가 들어가라
-
정시일반 의대 기준 3년 풀로 박았으면(현역 재수 삼수) 일반적으로 각이 나온다고...
-
예전에 풀었던 거 업로드
-
포도먹는중 6
이거맛있네요
-
엔티켓 살까 말까 고민 중인데 시즌1은 입문용¿정도로 쉬운 거 같아서요 굳이 안...
-
공통하느라 유기하고 있었는데 매일 1~2시간이라도 꾸준히 해야겄다
-
나도 연애썰 4
하나 풀어줄까
-
남르비들 지브리 성전환 ㅇㅈ 가능한가요?
-
접수일얘기가 아무곳에도 안올라왔길래여
-
3모 3등급인데요 6모는 1등급 맞고 싶습니다 70분안에 다 푸는건 어떤 느낌일지...
-
아까 짬뽕 토하기 직전까지 먹어서 몸 무거워진게 느껴짐
-
https://www.dropbox.com/sh/lribbpkfooq96gs/AABJ...
-
공부할때 집중력이 이렇게 좋았으면 대학을 갔을텐데
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다