아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://snu.orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
7분 4초 남김 만표 146 꺄아아아아앙 아침부터 기분 굿
-
옯생딱2번가봣군
-
Don’t stay awake for too long 3
Don’t go to bed I’ll make a cup of coffee for your head
-
https://5du.pl/xngmk
-
고려대 컴공 0
화작 기하 세지 사문 11211 이면 붙을까요..? (26수능부터 사탐공대 허용)
-
기차지나간당 5
부지런행
-
으어재밌노 2
ㅋㅋ
-
롤할 사람 구함 0
뻥임
-
진짜로
-
살려줘 1
아 또 마신다
-
I don’t even know if i’ve had nights like this 6
I don’t even know how many girls I’ve kissed...
-
걍 살빼야해요.. 방금 과일먹음
-
시대인재 선착선발 원서접수하였는데 이젠 결과문자만 기다리면 되는건가요?
-
신청은 되는구나 이룩허가되면 너도 10만덕이.되자
-
사람이 무서움 6
케이스 분류를 하자면 두 가지인데 1) 저 사람이 날 싫어할 것이라는 막연한 공포...
-
남들 뱃지보니까 숨이 안쉬어지네 시발
-
왜클릭?
-
저 나무도 가지가지마다 지펴 올릴 수 있을까요?
-
거짓말하지 마~~
-
https://5du.pl/xngmk
-
하 왜 0
잠이 안오냐고
-
우울글 금지 4
우울 x
-
와 무친 1
왜 4시임?? 자야겠다
-
어려우면 도망침 - 본인 미적에서 기하로 런침 편한 내리막길을 찾음 - 본인 탐구...
-
캐리
-
추천 좀 10
ㅇㅇ
-
가끔 개신교=기독교로 오해하고 그리 부르시는 분들이 계신데 쉽게 생각해서...
-
강대 컨텐츠 퀄 10
시대보다 그렇게 후달림? 메디컬 뚫을라면 강대 컨텐츠로는 후달리는 그정돈 아니지?...
-
대체 언제 주무심…
-
뭘 하든 다 신의 뜻이래 내가 못생기고 멍청하고 키도 작게 그렇게 열등하게 태어난...
-
https://5du.pl/xngmk
-
3화까지 다봐버렸네 사쿠라지마센빠이노코토가스키다
-
아직 잘 느껴지는 것은 없지만(개인적은 열등감은 있지만) 먼 미래에 스스로를...
-
하루만에 300만ㄷㄷㄷㄷ
-
인사해주세요 8
스스로를 인정할 수 없는 삶은 힘드네요,, 반가워요 선생님,,
-
다들모해 7
안자고모해?!?
-
환청 들림 CQ CQ CQ CQ... 자러 갑니다
-
ㅋㅋㅋ 5
ㅋㅋ
-
추가합격 0
정시 등록하고 추합 전화오면 원래 등록 취소하고 옮길수있나요?
-
공부하기 싫어서 공부했는데 대학 가서도 공부하라니요 11
망할 언제 그만둘 수 있는거임요?
-
25수능 4인데 몇 월까지 끝내야 됨요??
-
이게 그냥 열등감 때문만을 제외하고도 대학생활에 대한 불안감이 너무커서 진짜 미치겠음
-
ㅂㅂ 2
내일을 위해서
-
삼수하려는데 생윤말고 추천할 사탐과목 있나요? 원래 쌍윤이었는데 윤사한테 두 번이나...
-
근데 뭔가 일이 많아서 피곤함ㅠ 내일은 그려야지
-
아침에 학원가서 강기분 문학 5주차 완강하고 감각 날카롭게 벼린 다음에 오후에 있는...
-
고민이네
-
06이고 4에 5한개 껴있고 재수해서 올3에 2한두개 넣을정도로 만들고싶은데 ㄱㄴ?...
-
빨가면 사과 사과는 맛있어
-
적당히 제가 힘들때까지…? 제가 모르는 분으면 뭐 아쉬운거구
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다