아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://a.orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
지점 근처가 좀 번화가가 지점 앞에 맛있는것도 많아서 점심은 잇올 먹고 저녁만...
-
ㄱㅊ을까요.?. 국어 공부는 어떻게 하는건지 ㅠㅠ
-
아직 붙을진 모르겠지만 세종대 / 동국대 각각 궁금합니다
-
난 과외할 때 10
그냥 푸는 거 지켜보다가 바로 잡아주는 정도만 하는데 힘들어하는거 보이면 잠깐 썰 풀어주고
-
문학 하면서 단어 때문에 조금 풀이에 어려움이 있는데 단어집 좀 추첨 좀요
-
이투스 247 독재에서 이투스 모의고사 꼭 응시해야 하나요? 3
더프 외부생 응시로 보고 오면 좀 꼽주려나..?
-
세계사vs동사 3
찐막 ㅜㅜ 죄삼다 넘 고민됩니다…내일부터 진짜 진도 나가야하는데 뭐할까요
-
목표 연고 높공~매디컬or계약 화미영물지 순 현역 6모 51 92 3 93 88...
-
음료수를 자꾸 나한테 하나씩 줌..왜일까 보통 다른사람더 많이받음?
-
이새낀 걍 프로임
-
2주하고도 며칠 더 기다려야됨 합격하게해주세요
-
와 인생 ㅋㅋ 7
두시에 일어나서 지금까지 게임이랑 오르비밖에 한게없음ㅋㅋ
-
안종범 수석의 수첩을 근거로 박근혜가 삼성에 뇌물을 요구했다고 안종범 수첩이 검찰이...
-
레어 #~# 2
장.열려라고 아아ㅏ아아아아아ㅏㅇ
-
그리고 남고생들이 은근 많이 접한다는데 true? 그걸로 이득을 더 보는 경우도 있남
-
경희의vs냥의 3
둘 차이가 큰가요??
-
여보세요 1
여보
-
오늘도 성실하게 통번역공부 2시간 한 1인 ㅎㅎ
-
아침에 수업 최대한 신청해두는거 어떤가요? 오후에는 수능공부하고 과제 할 거 있으면...
-
사기꾼이 자기를 포장하듯 소형견이 더 시끄럽게 짖어대듯 별볼일 없는 나를 대단한...
-
가능한거였구나 13
네자리 계산이 안나와야 가능
-
나도 이런거 하고싶은데 최초합 날짜가 정해져있는겨??
-
하나 사서 입을려는데 추천좀
-
2025년 1월 4주차 韓日美全 음악 차트 TOP10 (+1월 3주차 주간VOCAL Character 랭킹) 10
2025년 1월 3주차 차트: https://orbi.kr/00071564992...
-
언매 확통 사문 지1으로 현실적으로 연세대 약학과에 붙기 위해선 백분위 어느정도씩...
-
수능 끝나고 10키로 빠짐 12/19-1/21 이사이에 체지방률 -4퍼...
-
심히 고민됨
-
뭔가 낭만있었어
-
제발
-
설명할방법이그거밖에x
-
또 다시 헤어져 야하는데 헤으응
-
일단 여자처럼 생겼다는거니까 좋은거죠?
-
진짜 자로 감 1
다들 잘 자
-
우리는 서로의 좋은 반창고
-
시대인재 반 1
못하면 강등될수도 있어여?ㅠㅠ
-
학원에 수시반밖에 없어서 그만두고 인강들으려고하는데요 학원쌤이 정시준비해도 무조건...
-
김상훈 커리관련 질문 17
1. 저 고정1인데 입문에잇는 고전시가나 단어뜻도 들어야 하나여 2. 문학론...
-
나도 여자강사 듣고싶다 10
김승리 강민철 강기원 이창무 조정식 오지훈 현정훈 크아아악
-
天安門 天安门 法輪功 李洪志 Free Tibet 劉曉波
-
메모장.txt 2
전여친보고싶다
-
23보다 업? 다운?
-
첫끼인 저녁은 설렁탕에 밥1/3 간식은 그릭요거트 시리얼!
-
확통 보는중인데 원순열부터 왜 서로 같은게 3개이면 순열애서 왜 3!로 나누어야...
-
물론 공부를 한건 아니지만..
-
근데 잇올 5
원래 남녀 따로 앉는거 아니었나 왜 섞어앉지?? 옆에 다 여자라 개부담스럽네
-
교재 구성 질문 2
기출 분석을 위한 책에는 기출 풀 셋이 들어가 있어야 된다고 생각하는데 말하고 싶은...
-
내향인 집 도착 6
씻고 롤체해야지
-
하루이틀 헬스장가서 개빡쎄게 하고 다음날부터 작심삼일되서 안하면 말짱도루묵인듯...
-
고등학교 졸업한지 얼마나 됐다고 ㅠ 난 아직 수능판인데 친구는 결혼함 ㅋㅋㅋㅋㅋ
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다