아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
잘까나 4
-
우으 3
절대 못 자
-
새르비 '완' 4
완
-
앉아있을때요
-
강남을 올때마다 느끼는게 있다 이 시발동네는 위치선정을 잘못했다 이런 병신동네가...
-
가형 친구들이 많이서 실수한거를 알이주세여
-
안깨게 준네 조용히 가야지
-
진짜 다 자냐? 2
내가 또 샷다 내려야돼....하
-
그림 그려봣음 6
-
개 작음..
-
ㅈㄴ 무거움
-
오르비 안녕히주무세요 10
해 뜨고 봐요
-
이사람이 내 이름임
-
움직이질 못하겠어
-
본인은 수학관데 수학 못해서 엉엉 우렀어
-
히히
-
얜 다시 봐도 하나도 모르겟네
-
김승리 현강ㅠㅠ 0
대치 지금 걸면 아수라때도 못들어가나요? 앱키때 많이 빠진다고 들었는데ㅠ
-
닭강정 마렵네 8
매콤짭짤한 양념 닭강정이 먹고싶은것이야 거기에 치킨무
-
좋은 현상입니다 다같이 살찌자구요
-
참아야해
-
열심히 달리기!
-
가형형님들 15
오르비에서 만나면 무서움 막 난 무시당할꺼가틈
-
너무 배고픈데 4
편의점 가야겟는걸
-
관심 퍼붓기 2
이후 금방 질리기
-
또는 집착 심할거같다 하는 사람 있나요
-
저건 좀 과한데 6
저런 문제가 재밌긴 함ㅇㅇ
-
ㄹㄹ
-
메가스터디 4
메가스터디 지금 저만 강의 재생 안되나요...? 러셀 보강 영상으로도 안 틀어지는데,,,,
-
퀄리티가좋은건진잘모르겟는데 이상하리만큼뇌리에강하게박혀잇음
-
내 안의 ambition이 살아나는 느낌이 든다… 진짜 말도 안 되게 똑똑하고 대단하신 분인듯
-
글고 걍 풀이 호흡 긴 문제들 연습하기 좋은 듯 근데 가끔 너무 길긴함..
-
아 워너 데싀 아 워너 런잇 데싀
-
조금 현타오는거 4
칼럼 좋아요수 × 2 < 처음 쓴 정치글 좋아요수
-
이거랑 해서 걍 기하 잡기술들 함 모아서 칼럼 써볼까함 사실상 xyo님 칼럼 짜집기+응용임
-
제육 볶아온나 4
배고팡
-
음함수 미분 이런거 웬만한 사람은 생각도 모댓을텐데 그냥 모두가 잘만 쓰고 잇는데
-
저는 외모 안 봐요= 10
외모만으로는 안 돼요
-
난 사실 2
지금까지 프사 한 애니중에 본게 사펑밖에 없음
-
ㅠ
-
오해원 레어를 갖고 있었네 언제부터지...
-
사탐런 관련 궁금한데 생윤-> 사문 고정 상태에서 나머지 하나 고민입니다. 사1...
-
여기서 사는거랑 다를게 없음 ㅋㅋ
-
지금까지 대충 살앗고 앞으로도 대충 살꺼니까
-
노잼 TMI 7
나는 사실 야마다 료가 최애가 아니다 (팔로우가 잘 오르길래 유지중일 뿐)
-
1시간째못깨서울엇어...
-
철퇴로 정수리를 내리쳐주세요
-
사람 됨
-
잠들면 잡니다 3
자는 시간을 정하는건 바보 짜피 그 때 못 잠
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다