아니 님들아 이거 진짜 혁신적인거 아님?
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
커뮤애 글쓰면서 남한테 피해만 안주면 되는거지 씨익씨익… 아싸들의 전용 공간인...
-
절 떠나지 말아요 제발..
-
맴돌아 허..ㅠㅠ 날 괴롭게 한 모 오르비언..
-
이거 메인가면 25화1수특 태워야겠다
-
윤석열 여론조사 1
ㄱㄱ
-
친구보다 말 잘 통함
-
한마디
-
10
-
서울 용산구 한강대로48길 16 2층 새로운 아프리카 식물샵이 오픈해서 내일...
-
뭐하지 9
롤 해야되는데 나도 뭐라도 하고싶네
-
나도 이제 아재가 다 된 것인가 베베
-
고2 모고 2등급 중반~후반 나오는데 믿어봐 문장편 지금 듣기엔 너무 늦었나요,,...
-
나도 ㅇㅈ 5
잠시 예고 가는게 목표인 시기가 있었음
-
동기부여좀 해줘요 내신때 그렇게 최선까지는 안다해서 수능 진짜 미친놈마냥 하자고...
-
입문N제보다는 쉬운가요?
-
김승리 대기 0
대치 두각 일요일 1:30 반인데 350번대면 올오카 끝즈음엔 들어갈 수 있나요?
-
2월부터는 ㄹㅇ 열심히 해야할듯 슬슬 쫄림 ㅋㅋㅋㅋ 그리고 내신할때 촤선을 다하지...
-
갑자기 머노 1
저렙 노프사단의 습격ㄷㄷ
-
잠이안옴 그냥 누군가를 가르치고 성적 올리고 그런거 엄청 좋아해서 너무 하고싶음...
-
수학 유기하면 안 되겟지 으에 노오오잼 과목
-
내여자친구는 아이돌
-
ㅋㅋ루삥뽕 삼수했는데 울산대의대면 어지간히 공부안했나보네
-
ㅜㅜㅜ
-
마음 한켠에 다들 메디컬 서카포연고에 대한 열등감 가지고 있는데 그냥 누르면서...
-
배기범 2026 필수본, 2026 3순환 교재랑 강좌 2025버전이랑 많이 다른가요?
-
흐아앙 2
피곤해 크으으윽 으아아아아아아아악
-
대치 시대 재종 원서 넣어놓은 상태인데요. 성적이 좀 간당간당해서 떨어질 가능성도...
-
무슨 인강을 들어야 될까요? 아니면 추천하시는 공부법 이라도.. 신택스?
-
다음닉 정했다 12
집에가지마 베베
-
시뱃이 좋다 4
아직 자퇴안햇으니까 달고있겠습니다..
-
그럼 저도 여친 자랑함 27
이름은 델로닉스 푸밀라고요 만난 지 10일 됐어요
-
ㄹㅇ 자야겠다 15
다들 빠빠
-
수능끝나고 두달반동안 암것도 안햇단 사실을 믿을수가없음뇨
-
노진구랑 똑같이생김 ㅋㅋㅋ
-
작년 10모 20번에서도 f(x)=0이 될 수 있다는걸 못봐서 문제 못푼사람이...
-
보드카는 신이야 8
신이야
-
요즘 뭐..영어 프리토킹은 기본 같은데.. 제가 수능 영어 1등급은 그냥 뚫어도...
-
고2내신때 지구과학 했었어서 아예 노베는 아닌데 이번에 겨울방학 시작하면서 오지훈쌤...
-
혼란한 틈을 타 2
오늘 만든 옯스타 홍보
-
유튜브에 무료강의가 있더라구요..! 강의 보면서 하는게 책으로 혼자 독학하는거 보다 확실히 좋나요?
-
지금 상황 정리 9
1. 모 설뱃 분이 그냥 요즘 모보글에 ㄱㅁ 소리 듣고 싶어서 글 쓰는 게 좀...
-
어디서사요? 번장밖에 없나?ㅠㅠ
-
ㅅㅂ 대체 무슨 메타가 온겨
-
사탐런했는데 개념도 안돌림 영어단어 1회독도안함 1월인데 수학 미적확통만함 ㅠㅅㅂ...
-
ㅇㅈ 7
배고프다..
-
최장 연애: 중3때 60일인가 사귄거
-
일단 프리미엄 부계로 온댔고 난 에메1이요
-
나도끼워줘요…..
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다