아니 님들아 이거 진짜 혁신적인거 아님?
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
사람이 무서움 0
케이스 분류를 하자면 두 가지인데 1) 저 사람이 날 싫어할 것이라는 막연한 공포...
-
남들 뱃지보니까 숨이 안쉬어지네 시발
-
왜클릭?
-
저 나무도 가지가지마다 지펴 올릴 수 있을까요?
-
거짓말하지 마~~
-
https://5du.pl/xngmk
-
덕코주세요 6
110만덕찍기
-
하 왜 0
잠이 안오냐고
-
지듣노 1
감동이 살아있는
-
우울글 금지 4
우울 x
-
와 무친 1
왜 4시임?? 자야겠다
-
어려우면 도망침 - 본인 미적에서 기하로 런침 편한 내리막길을 찾음 - 본인 탐구...
-
캐리
-
추천 좀 10
ㅇㅇ
-
가끔 개신교=기독교로 오해하고 그리 부르시는 분들이 계신데 쉽게 생각해서...
-
강대 컨텐츠 퀄 10
시대보다 그렇게 후달림? 메디컬 뚫을라면 강대 컨텐츠로는 후달리는 그정돈 아니지?...
-
대체 언제 주무심…
-
뭘 하든 다 신의 뜻이래 내가 못생기고 멍청하고 키도 작게 그렇게 열등하게 태어난...
-
https://5du.pl/xngmk
-
3화까지 다봐버렸네 사쿠라지마센빠이노코토가스키다
-
아직 잘 느껴지는 것은 없지만(개인적은 열등감은 있지만) 먼 미래에 스스로를...
-
하루만에 300만ㄷㄷㄷㄷ
-
인사해주세요 8
스스로를 인정할 수 없는 삶은 힘드네요,, 반가워요 선생님,,
-
다들모해 7
안자고모해?!?
-
환청 들림 CQ CQ CQ CQ... 자러 갑니다
-
ㅋㅋㅋ 5
ㅋㅋ
-
추가합격 0
정시 등록하고 추합 전화오면 원래 등록 취소하고 옮길수있나요?
-
공부하기 싫어서 공부했는데 대학 가서도 공부하라니요 11
망할 언제 그만둘 수 있는거임요?
-
25수능 4인데 몇 월까지 끝내야 됨요??
-
이게 그냥 열등감 때문만을 제외하고도 대학생활에 대한 불안감이 너무커서 진짜 미치겠음
-
ㅂㅂ 2
내일을 위해서
-
삼수하려는데 생윤말고 추천할 사탐과목 있나요? 원래 쌍윤이었는데 윤사한테 두 번이나...
-
근데 뭔가 일이 많아서 피곤함ㅠ 내일은 그려야지
-
아침에 학원가서 강기분 문학 5주차 완강하고 감각 날카롭게 벼린 다음에 오후에 있는...
-
고민이네
-
06이고 4에 5한개 껴있고 재수해서 올3에 2한두개 넣을정도로 만들고싶은데 ㄱㄴ?...
-
빨가면 사과 사과는 맛있어
-
적당히 제가 힘들때까지…? 제가 모르는 분으면 뭐 아쉬운거구
-
기린들이 너무 귀엽더라구요 ㅎㅎ
-
베개옆에놓고 매일조금씩 들춰보는데 오늘안읽고자려니까 막 정신병걸릴것같음 이게다오르비때문이야
-
미치것네요 ㅜㅜㅠ 3개 다 떨어질까 무섭네요 아
-
갑자기 걱정됨 식물 싫어하는 사람들은 딱히 없겠죠..
-
신기하네 올해 한번 더 폭룡적으로 올려보자
-
3시에자네 X벌ㅋㅋ 잘자용
-
이거먹고 잘듯
-
잠이 안오네 10
3시간밖에 못잤는데 이걸 더자 말아
-
' 7
-
목표 연고 높공~매디컬or계약 화미영물지 순 현역 6모 51 92 3 93 88...
-
코돈 파트 코돈은 걍 헬이고 다른 문제는 18수능 보니까 이 파트는 걍 문제가 ㅈㄴ 기네
-
갓생ㄱㄱ
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다