아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://ebsi.orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
나는 내가 5
빛나는 별인 줄 알았어요
-
프사 떠넘기고 자러 갔네
-
뭐가더어려움 난 후자가 더어려웠던거같음 시간관리도 안되고
-
저의 지역에서는 대부분이 대구로 대학을 갑니다 근데 저는 서울로 가게되었습니다....
-
아뻘글안써야겠다 1
ㄹㅇ이
-
맞팔구 2
-
크크크크
-
롤하러갈게 베베 3
ㅂㅂ
-
가끔 개미털기 시전
-
쌍사어디감? 2
뻘글장인 1티어
-
어떰
-
청춘돼지2회독할까...
-
활용도 多多
-
난도순위가 어케됨? 그리고 복추는 어떤느낌임? 월욜부터 복추 들어갈것 같은데 궁금하네
-
N티켓부터 다시 푸러야지…
-
딱 반반이네 2
2~4월까진 2번으로 하다가 그 이후부턴 1번으로 해야겟다.
-
이런 빠글빠글한거 넘 이쁘다❤️❤️❤️
-
공부도 잘해 하..
-
ㅇㅈ 5
아! 이데올로기!
-
뻘글 잘싸 베베
-
오케이계획대로되고있어 14
으하하하하
-
김용현 측, 문형배·정청래 등 고발…"수사기록 누설" 1
김용현 전 국방부 장관 변호인단이 문형배 헌법재판소장 권한대행과 정청래 국회...
-
글 삭제해서 죄송합니다 내일 점심에 다시 올릴께용 다들 좋은 밤 되십쇼 점심에 글...
-
근데 통합 이후 25물1보다 어려웟던 시험 22수능밖에 없는거같은데 0
저만그렇게생각하나요
-
ㄷㄷㄷㄷㄷㄷ
-
그만하지마 베베
-
*사진 꾹 누르시면 됩니다 질문을 쪽지로 받으니 한분 한분 확인하기 조금 힘들어서...
-
ㅇㅈ 3
겠냐
-
으으으으으으으으 8
풍덩
-
진지하게 다시풀면4등급 나올듯(39점)
-
최저 높은 곳 홀인원 치기아예 불가능인가? 이거 아니면 논술 해야하는데
-
[정우상 칼럼] 20년 전 국보법 폐지 투쟁, 지금 그들은 1
“아버지는 조작된 간첩” 눈물 흘렸던 30대 청년은 이후 민노총 간부로 간첩 활동...
-
3페까지 10분컷은 어떻게 하는거에요? 이번에도 20분걸림 나열해서 풀면 안되는건가...
-
롤할 사람.. 13
응애
-
수학 실모 30분컷은 어케하는거임? 고2학평도 빨리풀어도 35분-40분은 걸리던데 벽 느껴지네
-
당연히 기억하죠
-
검찰, '중국서 北 공작원 접선' 민주노총 전현직 간부 2명 기소 1
(수원=연합뉴스) 류수현 기자 = 중국에서 북한 공작원을 접선해 지령을 받은 혐의로...
-
오늘밤은 삐딱하게 10
근데난오늘10시약속이라는사실 아이고
-
오늘왕건이배출함
-
비상!!@@ 2
피치트리 다씀..
-
벌써 2월이라니 0
오늘부턴 열품타 시작 해야디
-
사실 나갈일 별로 없어서 상관 없을거 같기도 해요
-
나도 뱃지 달래 7
흐으으구ㅜ
-
이거라도 태울까
-
제 이미지 6
어때요 ?
-
나도 기만해봄 7
집에가지마 베베
-
정규반은 강기원 듣고있습니다 공통 누구 듣는게 좋을까요? 박종민, 장재원쌤...
-
미친인간들 2
태운다
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다