아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
3일 대선 4일 모고
-
농어촌 vs 서울 구도로 보면 안되고 농어촌 vs 지방 구도로 봐야함 5
농어촌은 서울사람에게 역차별이라고도 보지만, 실질적으로 지방사람들에게 더 큰...
-
소득분위별 대학 가산점(Max 설대식 5점) 하면 좋겠다
-
진짜로 감동적이긴 할듯요누가 가르쳤는데 ㅠㅠ눈물이 스르륵 스르륵 ㅠㅠ
-
선거 때문에 6평 날짜 바뀌면은 6월 3일 이전임? 후임? 2
어떻게 바뀌지
-
젖지대머리.
-
https://m.ytn.co.kr/news_view.php?key=202504081...
-
3모4떳고 지금 새기분 듣는데 등교하는 날은 강의 듣기 버거워서 강기분 독서에서...
-
딱 한 번 깸
-
유전은 스킬이라도 쓸수있는데 신경전도는 어떤 논리를 써서 풀어야하고 어떻게...
-
돈많다고 공부잘하는게아니라 잘할 사람은 어떻게서든 열심히해서 성적 올리료고 함 이걸...
-
한 학년당 수십명인 시골 학교는 1등급이 없나 그럼
-
찐 농어촌 <<< 애들 없어서 수시내신도 못땀 (한학교 한학년 인원이 두자리수;;)...
-
생1 화2 1
어떤 게 났나요? 생1 개념은 끝내놨는데 화2도 염두 해두고 있습니다. 작수 화1...
-
안녕하세요. 이투스 다니는 재수생입니다.. 제가 코 훌쩍이는 소리라던지 목 큼큼하는...
-
내 방에 진짜 영원히 안 쓰는 물건들이 쌓여 있는데 1
왜 버리지 못할까 오늘 저녁에 2년 이내로 안 쓴 것들은 가격이나 용도 뒤도 안...
-
사설이랑 모고는 여기 싹다 이해하면 문제 다 풀 수 있겠다라는 감이 오는데 수특은...
-
젖지대머리 2
젖지대머리
-
6월 4일 맞는거 같음 속보까지 나온거면
-
쪽지주세용 쿨거 원해요
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다