아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ㄱㅁ,ㄹㅈㄷㄱㅁ=정상인처럼 생겼네 솔직히 개씹오타쿠처럼 생겨서 오르비만 할줄 알았는데 의외다 너
-
ㅇㅈ 12
.. 펑ㅎ 카페에서 혼자 쇼하기..ㅎㅎ
-
시발 이왜진
-
아
-
지브리 존나게 느리네 18
-
펑
-
아가 잘까 7
웅웅
-
Eat all
-
일단 제 소개를 하자면 재수생이고.. 성별은 남성일확률이높아요 나머지는 비밀 뉴진스...
-
이상한 얼굴가지고 ㅇㅈ하고 있는데도 귀엽다고해주고 맨날 감동임 안녕히주무세옹 내일봐용
-
그 사건
-
작년에 유튭으로만 봤었는데, 실제로 듣는 군
-
실수분들중 카페인 안 드시는 분 계신가요? 카페인 안 드시고 공부하시면 특히...
-
아놔
-
생윤동사꾼 5
저분하고 닮은 사람 독재에서 봤던 거 같은데 지금은 나가셧고 맞나? 비슷하게 생긴...
-
막타 ㅇㅈ 2
그거슨 투데이
-
인증메타에 남 품평만 하기도 뭐해서 다시 올린다 씹새들아 10
그러하다 씹새들아 맞짱뜰래 슉슈슈슈슈슉 슉
-
나같이 평범한 사람은 적응이 안 됨
-
사진이 안 만들어지는군요
-
방송드가자잇
-
8개나 풀었는데 하나도 없다 ㅅ1ㅂ
-
오르비에 평범한 사람들이 많아서 막 이상한 말 모다겟음 너무 불편함 다들 이상해지셈..
-
11 12 13등급 허수새끼들 자기들 어떻게 하냐고 징징대는 글도 안올라오고 진짜...
-
막차 13
지 멋대로 포즈 변형하네
-
지피티 ㅈ까튼거 13
그냥 ㅇㅈ이나 할란다
-
오르비언여러분들도모두 좋은하루보내셧나요 내일도좋은하루보내요 물개가여러부ㅡㅡㄴ을응원해요
-
GPT 인증 0
Ai 혁명이 일어나면 나는 살아남을것
-
후자는 일주일치 밀림 ㄷㅈ? ㄷㅎ?
-
나도 막차 ㅇㅈ 28
ㅂㄱㄸㅂㄱ 다들 지브리 인증할때 빈틈노리기~
-
좋아요 계속 달아주는거 개귀여움 ㅋㅋㅋㅋ
-
난 남르빈데 1
신기하다
-
그래서 다들 지피티랑 놀러 갔을때 인증하면 되는거죠? 23
어 그런거야
-
그냥 닉변하고 닥치고 잇올만 다녀야겠네요 ㅈㅅㅎㄴㄷ
-
챗지피티 처단. 11
씨발
-
인생 다 살앗음 1
이제 그만임
-
ㄹㅇ 개명곡임.. 근데 잘 모르더라 사람들ㅇ;
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다