아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://sex.orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ㅇㅈ메타 돌았나 0
안 잘 걸
-
최대한 능동적이게 공부해서 재미도 느끼고 집중도 오래 하고 싶은데 지금의 공부...
-
ㅎㅎ
-
강기본 오리진 0
강기본이랑 올오카 오리진이 같은 포지션인가요?
-
참 쉽게 영원할거라 그렇게 믿었었는데 그렇게 믿었었는데
-
술 0
힘드노
-
https://5du.pl/xngmk
-
아니길바랍니다...
-
ㅇㅂㄱ 3
-
과외 준비하면서 보는데 2020년도까진 고1꺼만 들어가는데 21년도부터 고2 내용이 들어가네요
-
얼버기들이 많네
-
Stay in the middle Like you a little Don’t...
-
그럼 또 매일 놀아야지
-
후ㅡㄴㅁ
-
추위에 떨고 싶진 않아요 정말 언젠간 너무 차디찼던 빗물이 따뜻한 눈물이 되어...
-
수고많았다고 말해줘 너무 고생 많았다고
-
검찰, ‘이재명 대선 캠프 지원’ 前 국방연구원장 등 기소 1
김정섭 세종연구소 前 부소장도 재판행 감사원, 지난해 검찰에 수사 의뢰...
-
어우 3
오르비왤케느리지
-
베베
-
7분 4초 남김 만표 146 꺄아아아아앙 아침부터 기분 굿
-
옯생딱2번가봣군
-
https://5du.pl/xngmk
-
고려대 컴공 0
화작 기하 세지 사문 11211 이면 붙을까요..? (26수능부터 사탐공대 허용)
-
기차지나간당 5
부지런행
-
으어재밌노 3
ㅋㅋ
-
롤할 사람 구함 1
뻥임
-
진짜로
-
살려줘 1
아 또 마신다
-
걍 살빼야해요.. 방금 과일먹음
-
시대인재 선착선발 원서접수하였는데 이젠 결과문자만 기다리면 되는건가요?
-
신청은 되는구나 이룩허가되면 너도 10만덕이.되자
-
남들 뱃지보니까 숨이 안쉬어지네 시발
-
왜클릭?
-
저 나무도 가지가지마다 지펴 올릴 수 있을까요?
-
거짓말하지 마~~
-
https://5du.pl/xngmk
-
하 왜 0
잠이 안오냐고
-
우울글 금지 4
우울 x
-
와 무친 1
왜 4시임?? 자야겠다
-
어려우면 도망침 - 본인 미적에서 기하로 런침 편한 내리막길을 찾음 - 본인 탐구...
-
캐리
-
추천 좀 10
ㅇㅇ
-
가끔 개신교=기독교로 오해하고 그리 부르시는 분들이 계신데 쉽게 생각해서...
-
강대 컨텐츠 퀄 10
시대보다 그렇게 후달림? 메디컬 뚫을라면 강대 컨텐츠로는 후달리는 그정돈 아니지?...
-
대체 언제 주무심…
-
https://5du.pl/xngmk
-
3화까지 다봐버렸네 사쿠라지마센빠이노코토가스키다
-
아직 잘 느껴지는 것은 없지만(개인적은 열등감은 있지만) 먼 미래에 스스로를...
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다