아니 님들아 이거 진짜 혁신적인거 아님?
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
평소에 하던 볼륨인데 토할거같애
-
정보의 본질에 관하여 20.11 베이즈 주의 “연속적 이항대립과 불연속적 이항대립”...
-
서럽다 서러워...
-
11-15라인 조금만 더 어렵게해주지 특히 11번 12번 13번은 너무 했음 14번...
-
초딩때 인기 많았는데 이거
-
진짜 누구 듣지? 일단 현우진은 너무 무겁다는 느낌이 들긴했음 근데하도...
-
난 이제 장발이야
-
발표를 도대체가 왜 안하는거야 ㅅㅂ 엑셀 클릭한번이면 되는걸 사람 피말리게
-
개나줘라 병신아 걍 우선 실모배틀 이길 실력부터 만들고 예의를 쳐따져야지 난...
-
아마존에서 시켜서 까먹고 있었는데 이런게 행복이구나 너무 멀리서만 보고 있었나뵈용
-
전북치 0
8명 뽑고 예비번호 19번인데 합격 가능?? 진학사 보니까 꽤 돌거 같긴 하던데
-
인생리롤 ㄱㄱㄱㄱㄱ
-
미사카 미코토 9
-
1. 도형문제 난이도 하락 (230913급은 안나올듯) 2. 수2킬러삭제...
-
심심하니까 질문받아봄 12
아무거나 물어보세요 학습부터 오늘 밤 반찬 추천까지
-
그런걸지도
-
안녕하세요, 수능 국어를 가르치고 있는 쑥과마늘입니다. 지금이 아니면 써볼 일이...
-
-수염 레이저 제모 (여성분들은 겨드랑이 등) 면도 귀찮음 해방은 덤이고......
-
95점받음
-
통학할때 이어폰필수일거같은데
-
사탐런 고민중인데 자세히 알려주실 분 구해요..
-
600~700이상이네 왜 이런거지
-
문과로 바꿈. 이번 설때 커밍아웃했는데 난리 났다 나랑 동갑인 애는 메디컬 간다는데..
-
독서도 연계체감 있나요?
-
보여드림
-
쿠팡에서 사려했는데 몰라서 ㅠ
-
아니 여긴 돈까스밖에 안 팖? ㅅㅂ
-
질문 15
안받습니다
-
속이 안 좋다
-
ㄹㅇ 3모보고 열심히해도 6모가서 다 떨어짐? 오늘 수업에서 쌤이 의미없다던데
-
안녕하세요 작년 수능 미적92점 받았습니다. (28계산 실수, 30실력부족) 제가...
-
좀 솔직해져 보자 55
학교 다니면서 가까운 이성 친구 없었다 조용히 좋아요 눌러. 나 진지해 진짜 없어서.
-
맞팔ㄱㄱ 9
-
루시드 니달리로 POM도 받음 포킹 조합에서 좋은건 알고 있음
-
현 예비 고3입니다 수학이랑 국어하느라 영어를 많이 못했어요.. 단어 조금 외우고...
-
매주 일요일 반나절은 책읽는데 써야지
-
대체 정신병걸린 선생새끼 하나가 뭔 지 오늘 기분 안좋다고 교무실에 문의하러 온...
-
백분위 95 98 1 97 100 원점수 91 92 ?? 48 50 올해 제...
-
알바가기싫다 4
우웅.....
-
인생불공평하다 7
자주느낀다
-
예비 고1입니다?
-
일본어 잘하는 법 : 수능 국어 잘하기 <- 이거 진짜인듯 ㅋㅋ
-
이왜진?
-
저녁 메뉴 추천 부탁드립니다
-
님은 이미 끌린거임 ㅇㅇ
-
반수해서 저러면 ㅅㅌㅊ인가요?
-
헌법재판소는 “탄핵 심판은 재판관 개인 성향에 의해 좌우되지 않는다”고 31일...
-
최상목, 내란특검법에 또 거부권... "별도 특검 필요한지 판단 어렵다" 1
최상목 대통령 권한대행 부총리 겸 기획재정부 장관이 31일 '내란 특별검사법'에...
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다