아니 님들아 이거 진짜 혁신적인거 아님?
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
잇올 관리자는 자리에 가방 있으면 1교시 정도는 관리자 성향에 따라 부모님한테...
-
핫식스 먹을때마다 속조낸아프고 응아의색이 어두운카키색되는데 이거ㄱㅊ은거임? 끊기엔...
-
시급1500원..ㅜㅜ
-
한 명씩 좋아한다 vs 여러 명 동시에 좋아한다 난 금사빤데 금세 식진 않아서 지금 짝녀 3명임
-
운동이 헬창처럼 말하는 웨이트 운동인가요? 아님 걍 가볍게 런닝머신 뛰는 운동인가요?
-
유심칩 들어가는 패드를 가져가면 됨 그래서 폰 유심을 거따 넣어서 데이터로 보시면...
-
김범준선생님 수업과는 어떤 차이가 있고.. 어떤걸 배우게 될지…궁금해요
-
내가 잘해야지
-
관리자 돌아다니는 시간대 식사시간 10분 전 즈음에 먼저 나가서 밥 먹는 법 15분...
-
고평... 2
-
치타는 아직 웃고있다노 캬캬캬
-
님들 맥주 뭐 좋아함 15
아사히 수퍼드라이 이길 거 있나
-
근데 28분밖에 안남았네 이런,,,
-
다 사탐런한거 아니지??!!??
-
원정의
-
제가 국어가 많이약해서 공부속도가 느립니다 현역인데 김동욱 일클래스 김상훈 문학...
-
재수생인데 1월엔 수학학원 다녔습니다 근데 얻어가는 게 하나도 없는 것 같아서요…...
-
2월에는다들행복한합격하길
-
내 앞자리에서 드라마만 봄 근데 관리하는 사람 돌아다닐 땐 기가 막히게 인강으로 바꾸더라
-
아 드릴드2 나오는데 드릴3,4 어떡하지 드릴드2 나오는지 모르고 이미 제본했는데...
-
아침마다 공지사항이랑 같이 방송도 해주고 1교시 쉬는시간에 스트레칭 함 하고...
-
되팔렘 정상화 꼬시다
-
전전이 젤 빡센가요?
-
너에게 줄선물이 잇는데
-
오늘 좀 아파서
-
스토리 넘기다보면 광고뜨잖아요 무슨 광고뜸??
-
올라온 계획표대로 하려니까 너무 국어에만 시간을 많이쓰는것같아서요 강기분 새기분...
-
어느정도 아웃풋임?
-
서울대 되나
-
포카 줬으면 바로 샀을텐데..흠
-
Feat. 내신 3.4
-
대학커뮤니티 노크에서 선발한 중앙대 선배가 오르비에 있는 예비 중앙대학생, 중앙대...
-
올해는 무념무상 3
항상 이 마인드를 잃지 말 것!!!
-
이게 장점임
-
내 내신…. 근데 수시는 교과 반영을 어케하는겨..? 성적순으로 자르나
-
앞뒤옆대각선 다 존나잫생겻었어
-
수능을 3일동안 3번보고 평균 내는거 어떤가요 3개 다 6모9모수능 수준으로 다른...
-
너무 춥다 ,,,
-
문과 KY 아득히 뛰어넘음?
-
그 잇올 밑에 은근 맛있는 집들 개많아서 가끔씩 나가서 밥먹엇었는데 추억이네 ㅋㅋㅋㅋ
-
학잠 사왔다 11
간지나네 ㄷㄷ
-
아오
-
지점 근처가 좀 번화가가 지점 앞에 맛있는것도 많아서 점심은 잇올 먹고 저녁만...
-
ㄱㅊ을까요.?. 국어 공부는 어떻게 하는건지 ㅠㅠ
-
아직 붙을진 모르겠지만 세종대 / 동국대 각각 궁금합니다
-
난 과외할 때 10
그냥 푸는 거 지켜보다가 바로 잡아주는 정도만 하는데 힘들어하는거 보이면 잠깐 썰 풀어주고
-
문학 하면서 단어 때문에 조금 풀이에 어려움이 있는데 단어집 좀 추첨 좀요
-
이투스 247 독재에서 이투스 모의고사 꼭 응시해야 하나요? 3
더프 외부생 응시로 보고 오면 좀 꼽주려나..?
-
세계사vs동사 3
찐막 ㅜㅜ 죄삼다 넘 고민됩니다…내일부터 진짜 진도 나가야하는데 뭐할까요
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다