아니 님들아 이거 진짜 혁신적인거 아님?
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이거먹고 잘듯
-
잠이 안오네 10
3시간밖에 못잤는데 이걸 더자 말아
-
' 7
-
목표 연고 높공~매디컬or계약 화미영물지 순 현역 6모 51 92 3 93 88...
-
코돈 파트 코돈은 걍 헬이고 다른 문제는 18수능 보니까 이 파트는 걍 문제가 ㅈㄴ 기네
-
갓생ㄱㄱ
-
그래서 내 정체를 머를 핑크여자듀 안팔리고있는건가
-
새벽 일과
-
고치기가 귀찮은거 공감가능?
-
근데 재르비들은 2
예전닉언급하면 산화당하나요
-
https://5du.pl/xngmk
-
졸리다 1
자야되나
-
선차굿ㄴ 2명 이미ㅣㅈ 13
-
ㅇㅂㄱ 6
얼리버드기상
-
몬가 몬가네
-
그래서먹어보려고
-
게이 13
여기서 게이..?이신 분들은 컨셉이시겠죠?
-
기원 범준 투샷 2
-
혹시 이상하게보임? 걱정이네
-
ㄱㅁ 4
ㅈㄴ ㄱㅁ
-
해본적 없음
-
진짜 자러갔나보네
-
아 덕코 주세요
-
여르비 ㅇㅈ하셈
-
ㅇㅈ해보까 6
사실 안함
-
수학감안뒤졌네 2
좋아
-
야심한 밤 가슴살 인증 13
그것은 닭찌찌엿고연
-
즐거웠다 ㅋㅋ
-
당연한거다
-
ㅇㅈ 13
-
차마 누구 못 보여주겠음 개못생겼는데 맛은 괜찮네요 참치액 덕분인 듯
-
10학점에서 더 넣을 게 없다
-
나두 ㅇㅈ 13
-
흐흐 공짜식물 왕창 챙겨드리기
-
인증을 멈춰 1
메인글에 저격당한다고 ㅜㅜ
-
왜 클릭?
-
ㄱㅁ 이 안 달리고 감탄함 ㅋㅋ
-
ㅇㅈ메타 돌았나요?
-
여목 연습중이라 목에 안좋은거 하기 싫음은 아니고 담배는 싫어하고 술은 안받음
-
수학전담과외(수업및 sns로 질답) 및 나머지 국영탐 조언,추천해주는거 애초에...
-
오랜만에 한달 전 사진을•• 지금은 길이 차이는 크게 없지만 숱을 많이 쳤어요
-
고2 마지막 모고에서 국수영생지 22331떠서 생명은 무조건 버리고 내신때 지구...
-
문풀배우고싶어용
-
@STUDY_FLOVER 공스타...
-
작년에 20명 뽑았을 때 추합 30명까지 돌았고 재작년 12명 뽑았을 때 추합...
-
10번 내로 못 맞추면 없음
-
여목 잘하고싶다 9
내목소리 ㅈ구려병
-
오랜만에 ㅇㅈ 6
근황
-
킹맛도리~
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다