아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://h.orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
학잠보단 과잠이지 14
학잠은 뭔가뭔가임뇨
-
이상한거에재미들림 수학을개좋아해서 그냥수학관련질문이면 아주재밌음.
-
6모 이후에 학사가는거 에바임?
-
929.05점이면 붙을만한가요? 통합선발 인문이요
-
정시가 맞다 6
수시로 높게 못 가겟다
-
다들 첫야동언제임 10
난초5
-
잘게 5
다들내일보자 굿밤
-
사실 당연함 사람을 물면 안됨
-
앗 아 아아 앗
-
피방에서 봤는데 프리드로우에 나오는 동까 앎? 그거랑 개똑같이 생긴 사람이 드립...
-
나는 떠난다 21
잘 있거라
-
수영탐탐 다 다니고 싶은데 쳐내기 가능함 ????
-
레어장 언제 열려
-
나도 ㅇㅈ 2
하지마 베베
-
정신차려정신차려정신차려
-
ㅇㅈ 8
-
서울대 가자 1
ㅇ
-
중학교때 진짜억울했던게 11
나는 성인이 나오는 야동이아니라 내 또래의 야동을 보고싶었어서 15살 포르노 이렇게...
-
펑
-
관리형독서실 0
계획표 같은 학습관리 해주는 관리형독서실 있나요??
-
집에가지마 베베 7
너무 반짝반짝 눈이부셔 ggggg
-
수학 내신평균 19,21점 ㅇㅈㄹ나서 내신자체가 천하제일찍기대회됨
-
아니면 aa가 레전드 이득을 보는거임
-
꼬츄기름이란 뜻
-
오르비를 열심히 했는데 이거 큰일난건가요?
-
부럽다는 거다아아
-
궁금
-
님들이면 반수함? 25
현역은 걍 공부 안하고 놀았음 재수 때 처음 공부해서 지거국 성적 떴음 삼수 때...
-
증발 2
2025년의 1/12를 너굴맨이 증발시켰습니다!
-
사문 문항구성 어케되있는지 아시는분
-
난아직도우리가했던데이트를기억해메이플스토리아이디를만들어서테네시스시장을누비며난아직도너를기...
-
예를 들어 a b c d 라는 사고과정을 a -> d 로 압축시키는 스킬이 있으면...
-
ㅇㅈ 23
오랜만이네용가리
-
자러가요 6
코코낸내
-
ㅈ반고-평반고 특징 15
1.수탐내신은 ㄹㅇ 개 ㅂㅅ임 2.영어 국어 내신 달달달에 능한 애들이 ㅈㄴ 많음...
-
2월이군 5
-
하지만 지금 일어난 나는 절대 잠들지 않는다는걸 나의 비익 데이터를 통해 알고...
-
카관의 4
카관의 영상 찍어야되는걸 이제 봤네요...... 안될걸 알고 그냥 적었는데 그래도...
-
레슬링 배워서 본보기로 한놈 줘패면됨 나머지 알아서 김
-
풀고 못풀고보다 시간 안에 풀고 못풀고가 의미있는 시험 이런걸 고삼때는 생각도 못했었던듯
-
고대 경영 출신은 월스트리트 도전 꿈에도 꾸지 말아야할정도임??ㅠㅠㅠ 고대 경영+...
-
2~3개 정도 ㄱㄱ
-
생윤은 보니까 25수능빼고는 한문제 틀리면 백분위가 박살나던데 그렇다고 지구를...
-
배기범 t듣고있는데 내 역학 실력은 시간만 주면 모든 문제 다 풀 수...
-
그걸 안다면 더 이상 아무도 모르는 놀라운 사실이라고 말할 수 없음..
-
자이 어찌저찌 1회독 끝내고 수분감 푸는데 수분감 먼저 할걸 이라는 생각이 들긴 하네요
-
현생을 많이 살아서 다시 복귀 그리고 새르비는 재미있어
-
십덕들 투표 좀 13
다 했을 거라고 믿읍니다
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다