아니 님들아 이거 진짜 혁신적인거 아님?
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
n제 풀 때 3
n제 풀 때 다들 연습장에 푸시나요 그냥 교재에 슥슥 푸시나요??
-
180도잖아요 ㅋㅋ 이거 이해안되면 시발점이나 하러 가세요~~ 라고 옆집 영희가...
-
이과 평균 6등급이 이번 수능까지 공부하면 어디까지 가능하다 생각함? 순수하게 궁금함
-
강의듣는다고 나와서 강의 끝나자마자 오르비하고있네
-
과자 사갈까 21
배고프긴 한데
-
mb^2 .....명박
-
학교다닐때도 서로 칭찬해주기 같은거 하면 찐다였어서 꼭 착함 조용함 정직함 이런거...
-
그럴까용
-
넵.
-
공부하는느낌이 안 드는데 잘하지도못함
-
2>>>>>>1,3 이었을거 같은데 한국은 마른 여자만 너무 좋아함
-
히히히
-
주인 잃은 레어 1개의 경매가 곧 시작됩니다. 외대생 짱구"HUFS" XDK 경매에서 확인해보세요.
-
다이소가서 사봐야지
-
술 성인 되어도 입에도 안 댈 생각이었는데
-
"오만한 실리콘밸리, 딥시크 놓쳐…중국 AI인력 주72시간 연구" 0
미국 AI(인공지능) 개발을 주도하는 실리콘밸리 인재들이 오만함에서 벗어나 현실을...
-
술이 들어간다 2
-
대학 갔는데 수험커뮤 눈팅하는 내 잘못이지 오랜만에 들어와서 탈릅합니다~
-
수업 듣는데 집중이 안돼
-
나임
-
궁금합니당
-
궁금하네요
-
문제가 ㅆㅂ왜이래
-
-
지금 학생 계정인데 30분동안 뒤져도 방법을 모르겠어요…..
-
캬캬 2
나는 개똥벌레~
-
2025 이명학 모의고사 4,6,7회 빠른답지 있으신 분 사진 찍어 주실 수...
-
살아있으니까 비빔밥을 먹을수있고 럭키비키자나
-
고민이 된다
-
[단독] 고 오요안나 씨 자필 일기 보니...유족 "사과 원한다" 0
[앵커] 전 MBC 기상 캐스터 고 오요안나 씨가 생전, 직장 내 괴롭힘을 당했다는...
-
이건 거의 유니콘 아닐까
-
ㄹㅇ루다가
-
진짜 마지노선임 지금
-
넵
-
육각덕 1
근데 집안관련된 질문은 돈 말고 집안분위기 뮬러봐야되는거 아님? ㅋㅋㅋ 그리고 나이...
-
비상비상 0
잠이 안 온다 이럴 땐 오르비를 해야지 응응
-
고대 학우 7
는 일반고에서 써볼만한 전형인가요? 아님 특목고생들만 데려가나요?
-
아 나 수학풀고싶다고
-
걍 ㅈㄴ 부럽다
-
저두 해 봄 3
ㅅㅅ네
-
흠 굳이인가
-
어릴때 왜 어른이 되고싶어했을까 알수없다 걍 힘든일이 많아지고 전부 내책임 되는건데...
-
얼버기 1
어제 새벽에 자서 30분전에 일어남
-
ㅋㅋㅋ
-
갤탭을 살까 2
엄
-
1. 다른 학과랑 해야하는 팀플이 많이 있나요? 있다면 큰 문제 없이 할 수...
-
부럽다
-
상쾌해졌다 4
히히 훈련소 때는 상상도 못할 30분 동안 목욕하기
-
성공.
-
학력 F. 4
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다