아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
오감도 시제1호 13인의 아해가 도로로 질주하오. (길은 막다른 골목이 적당하오.)...
-
ㅇㅈ 15
-
저는 민감해서.. ㅜㅇ우긍으이읏생긋
-
막 되게 높게 써줫는데후에 되게되게 높게 호감인 사람이 나타나면 어떡함난 막 쓰다가 꼬여버릴꺼 같음
-
내일은 푹 쉬어볼게요
-
못생긴 여자도.
-
호감도 해봄 5
"호감도" 했음
-
여중생 나올듯ㅋ
-
-
저러면 해줄수밖에 업잔아....감동
-
댓글로 이유를 적어주세요....
-
난 비흡연자고 앞으로도 비흡연할 거지만 스트레스 받을 때 가장 가성비좋게 해소가...
-
사문 도표 5
화1 하다가 사문 넘어와서 도표특강 들으면서 기출 푸는데 도표가 왜 진짜 어려운건지...
-
호감도 메타 참전 31
100점 만점
-
허구한날 명품 아이쇼핑으로 집에 돈 많다는거 비틱하고 인증사진 뇌절 세번이나 올리고...
-
-
1년동안 빡세게해서 이성적 유지하면 가능한 점수대 인가요?
-
안올릴거긴한데
-
인증단 처단은 개뿔 지원하자는 생각이면 개추
-
근래에 이보다 마음에 드는 작품이 없었네요. 모든 장면이 참 좋았습니다. 특히...
-
인간실격 에휴
-
큰 일 났 다!!!!!
-
호감호감ㅠㅠㅠ
-
코딩과제 완료 반수준비 시작
-
일클듣는강기원 채널 보니까 아이디 화면에 안 뜨는걸로 보아 화면 녹화는 아니고...
-
다음 닉 2
심심한노프사
-
챗지피티 이새끼는 왜 날 자꾸 미취학아동으로 만드는거임? 6
ㅅㅂ 재미들림
-
아 토할거같아 2
씨발
-
선넘는 조언도 환영이오 어떻게 시발비갤보다 점수가 낮소
-
언젠간 오르비의 글을 바탕으로 블로그를 써야지 하고 생각은 하고 있다만 2
내 국어사 블로그는 영원히 쓰일 리 없을 듯 이놈의 귀차니즘
-
ㅇㅈ 5
머리 예쁘징//
-
이매진 매월승리 간쓸개 이감모고 다 하는거 개오바인거 같긴한데... 이감 안하면...
-
수능 때 생윤치는 애들 이겨야하는데.. 부족할까요 근데 원래도 자이 하나 풀고 수특...
-
치킨 시켜서 맥주 까는 낙으로 일주일 버팀 행복해서 눈물날것같다. 오직 순간을...
-
왜냐면 이제부터 기다림이 24시간이 넘을 때마다대가리를 존나 쎄게 쳐서 제 머릿속을...
-
https://orbi.kr/00062221739 링크에 들어가기만 해도 노트북이...
-
아랍녀 두부(외상x)남 커플 뭐가 더 많음?
-
그냥 저 시험 잘밨어영 뽀뽀해주세영 하면 될 거 같은데 저능아니 뭐니 이런 어휘로...
-
두명아 빨리 좀 나가주지 인스타 스토리용인데 ㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠ
-
의대는 확실히 일반고가 더 나은거 같고 공대는 수시로 동실력이라고 가정했을때 어디가 더 유리함?
-
‘대수적 수’(algebraic number)란, 모든 항의 계수가 정수인 다항식의...
-
뉴비도 오세요
-
점수 몇점에서 몇점까지 진동하셨나요 가장 최근에 푼 실모인 히카 22회...
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다