아니 님들아 이거 진짜 혁신적인거 아님?
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
유튜브에 무료강의가 있더라구요..! 강의 보면서 하는게 책으로 혼자 독학하는거 보다 확실히 좋나요?
-
지금 상황 정리 9
1. 모 설뱃 분이 그냥 요즘 모보글에 ㄱㅁ 소리 듣고 싶어서 글 쓰는 게 좀...
-
어디서사요? 번장밖에 없나?ㅠㅠ
-
ㅅㅂ 대체 무슨 메타가 온겨
-
사탐런했는데 개념도 안돌림 영어단어 1회독도안함 1월인데 수학 미적확통만함 ㅠㅅㅂ...
-
ㅇㅈ 7
배고프다..
-
최장 연애: 중3때 60일인가 사귄거
-
일단 프리미엄 부계로 온댔고 난 에메1이요
-
나도끼워줘요…..
-
이게 뭐지 하는 글 마니마니 쓰는 사람들 잇음 나한테 피해주는게 아니라서 차단하기...
-
클럽은 1
평생 안갈 듯싶다 "안"가는 거 맞음 ㅇㅇ
-
문제를걍잡식으로많이드삼뇨 실모도과식하셈뇨 이럼좀좌충우돌멍청풀이겪어도2까진어케되는듯...
-
가지말아요 다들
-
베베
-
어릴 때 아빠랑 여행 다닐 때 모텔 많이 다녔는데 어차피 우리가 내는 거 아니라며...
-
내글 봤는데 2
90퍼가 뻘글이네
-
드레디어 9
귀엽다
-
있니
-
티내면서 글 쓰는 건 다 어떤 사람인지 알잖아 그러니까 그럴 수도 있다본다
-
이러면 메인 갈 수 있나요?
-
하
-
ㅈㄱㄴ
-
저랑 모텔가실 남르비 있으신가요? 이상한의도아니구요저도모텔ㄱㅁ사진을올리고싶어서요...
-
으아 2
오늘 새벽은 집에 잇어야. 겟다 피곤하다리
-
ㄱㅁ레전드 0
어떤 얘가 지 연애썰로 막 카톡내용이나 그런걸로 기만을 시작함 수상한 누군가가...
-
7번말함
-
6월쯤 들으려면 지금부터 대기 걸어놔야 할까요?
-
눈 코 치아 손가락 다리 발목이 장애가 없는선에서 쓰레기임
-
나도 무서운 사람이 되겟음
-
작년 9모 다시 풀어봤는데 그때도 미적 못했는데 더 못해짐 미적 그냥 포기 마렵네
-
냥냥
-
나도 ㄱㅁ하고 싶네 12
집에 ㄱ지ㅁ 베베 하고 싶네
-
네~
-
공익 알아봤는데 복무기간 3년 실화임??ㅅㅂ;; 법무관 군의관도 3년이라...
-
ㅈ노잼임
-
https://orbi.kr/00067890648/%EB%B9%A1%EC%B9%A8%...
-
메인 뭔일임? 3
누가 뭐 자랑했음?
-
지금부터 걸으면 0
홍대 몇시에 도착하지 카와카츠 먹고 싶다
-
바보야?
-
‘님도 안 씻으셨어요?’
-
우짠댜
-
고닉 아니더라도 유의미하게 오르비를 이용하는 사람 중에 연치 있음?
-
ㅋㅋㅋ병신들 2
뭐 병신아 킥킥
-
닉변할까 0
올리부엉이
-
ㅋㅋㅋ병신들 5
-
부터 들어도 될까요 지금 라이브반 중도합류하기엔 너무 늦은거 같아서.. 그냥 문제집...
-
그냥 갑자기 반에 들어갈때 같은반 남자애가 나보고 "@@이 왤케 여자같이생겼지"...
-
히히 발사발사 5
발사!!!!
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다