아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://snu.orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
화1꿀과목인뎅 4
ㅇ 에휴..
-
엔딩곡도 들어야하는데
-
에쎄 슈팅레드 0
이거 요물이네 ㅋㅋㅋㅋㅋ 계속 슈레필듯
-
자괴감오짐
-
자기전까지이미지적어드림 23
ㄱㄱ
-
오르비뉴비인데 4
여기분들 좀 음?침한거 같아요 푸ㅠㅠㅠ
-
개강 언제쯤 하나요
-
잘탄다 ㅋㅋ
-
저는사실 이수린입니다
-
칵테일 4
도화
-
걔 좀 호감이었는데
-
안그래도 비행기 탈 때 조금 무서웠는데 최근 항공사고 보고 더 심해짐 담주에...
-
ㅈ냥이 따라할 거임 11
나한테 프사 떠넘긴 놈 ㅗㅗ
-
혼자있고 싶어서라면 언제까지 기다릴 수 있을거야
-
이런 개꿀 과목 저만할거니까 님들은 어려운 사탐이나 하세요 제발 유입 ㄴㄴ
-
너무정신없었음 ㄹㅇ
-
이세상어디가숲인지 15
어디가늪인지 그누구도말을 않네 나원래진짜눈물없는사람인데 작년에한번 아침에 밥먹으면서...
-
https://5du.pl/xngmk
-
로맨스 ㄹㅇ 1도 없더라..
-
새벽 노추 0
-
나는 내가 5
빛나는 별인 줄 알았어요
-
프사 떠넘기고 자러 갔네
-
뭐가더어려움 난 후자가 더어려웠던거같음 시간관리도 안되고
-
저의 지역에서는 대부분이 대구로 대학을 갑니다 근데 저는 서울로 가게되었습니다....
-
아뻘글안써야겠다 1
ㄹㅇ이
-
맞팔구 2
-
크크크크
-
롤하러갈게 베베 3
ㅂㅂ
-
가끔 개미털기 시전
-
쌍사어디감? 2
뻘글장인 1티어
-
어떰
-
청춘돼지2회독할까...
-
활용도 多多
-
난도순위가 어케됨? 그리고 복추는 어떤느낌임? 월욜부터 복추 들어갈것 같은데 궁금하네
-
N티켓부터 다시 푸러야지…
-
딱 반반이네 2
2~4월까진 2번으로 하다가 그 이후부턴 1번으로 해야겟다.
-
이런 빠글빠글한거 넘 이쁘다❤️❤️❤️
-
공부도 잘해 하..
-
ㅇㅈ 5
아! 이데올로기!
-
뻘글 잘싸 베베
-
오케이계획대로되고있어 14
으하하하하
-
김용현 측, 문형배·정청래 등 고발…"수사기록 누설" 1
김용현 전 국방부 장관 변호인단이 문형배 헌법재판소장 권한대행과 정청래 국회...
-
글 삭제해서 죄송합니다 내일 점심에 다시 올릴께용 다들 좋은 밤 되십쇼 점심에 글...
-
근데 통합 이후 25물1보다 어려웟던 시험 22수능밖에 없는거같은데 0
저만그렇게생각하나요
-
ㄷㄷㄷㄷㄷㄷ
-
그만하지마 베베
-
*사진 꾹 누르시면 됩니다 질문을 쪽지로 받으니 한분 한분 확인하기 조금 힘들어서...
-
ㅇㅈ 3
겠냐
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다