아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
1시 2
1시
-
SSG가 2위라 1
호오
-
알면 눈치껏 행동해
-
힌트:공부랑 조금이라도 관련 있음
-
감사일기 비슷한 거 쓸려고요. EX)안 졸기 같은거
-
흠
-
인,현강이랑 업로드 차별은 왜 하는지 모르겠네 영상 편집,검토 땜에 며칠 차이 나는...
-
클로할사람ㅇ 8
잇음?
-
오르비엔 이과충들이 많아서 좀 그렇네요;따듯한 감성 문과들과 지내고 싶어요
-
이번엔 진짜 적어드림 59
짧고 간결하게
-
벚꽃 ? 2
다음주에 만개 할 듯
-
하니와 민지 0
-
사평우많관부
-
뉴르비를 위한 오르비N GUIDE (feat. 마지막 뻘글) 56
오르비. 처음 들어왔는데 어떤 커뮤인지 궁금하다고?? 오르비는 현생이랑 별반...
-
적느라 힘들었다 3
휴
-
-
개뻥치네ㅋ 2
구라쟁이들
-
진격거나 봐야지
-
ㅠ
-
옯바 5
-
알고있는 범위 3
흠
-
인지도메타참전 2
아무리 생각해도 전생보단 모를 듯 한데..
-
짧게 이미지 적어드려요 31
컴온
-
?
-
쟘네요
-
옛날엔 금테 이상은 진짜 오래 쉬다 오지 않는 이상 모르는 사람이 드물었는데 이젠...
-
무서워지노
-
같은 똥을 싼다는거잖아 ㅠㅠㅠㅠ
-
모두 고마워요 4
이 귀염둥이들
-
인지도평가 5
ㄱㄱ
-
내신휴강때 구매해서 들을려는데 3원리 수업에서 제일 좋았던 회차 3개 정도만...
-
1명만 차단하면 글 리젠이 확 줄어든디ㅏ
-
빡세도 할만하겟죠? 편의점알바여
-
이제쯤이면 3
내 인증 다 까먹었겠지
-
야간알바 없어서 문닫으시나보네
-
맨날 남의 이미지만 적어줬는데 내꺼도 적어줘요
-
3모 쳤는데 독서론 화작 문학 풀고 시간 끝났습니다. 문학은 1개 화작 3개...
-
전여친나카톡차단햤나보네 11
송금표시없이기본프로필이네
-
인지도 메타 0
ㄱㄱ혓
-
떡밥뭔데 2
?
-
내 마음이 들키면 안대!!!
-
너무 많은 정보를 뿌림...
-
맞팔하실분 4
ㄱㄱ 없으면 민망해요
-
.
-
지능이 두배인건데 너무 아쉬움
-
ㅋㅋ
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다