아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
여기다가 과외글을 올릴수 있을까
-
25-8 0
벽느껴지네 진짜 ㅋㅋ 양손 언제맞추노
-
탈락자는 산화되는 걸로 하죠
-
서울시립대학교 2026학년도 재학생 멘티 모집 안내 0
안녕하세요! 서울시립대학교 입학 홍보대사 스카우터입니다 :) 2026학년도 5차...
-
방학때 대부분 교직원은 5시 퇴근
-
잠만 ㄱㄷㄱㄷ
-
국민대 합격생을 위한 노크선배 꿀팁 [국민대25][새내기 가이드 성적, 재수강, 출석 꿀팁 모음] 0
대학커뮤니티 노크에서 선발한 국민대 선배가 오르비에 있는 예비 국민대학생, 국민대...
-
ㅇㅈ 갑니다 4
에타에서 만나요
-
씨 발아 2일차 6
-
미안합니더...
-
옵부이들 3
잘자요
-
흐흐 다먹어주마
-
왜냐하면 아니기 때문
-
자야겠다 8
-
나와라 조용히
-
그런건없습니다
-
의대생 과외는 10
잘 못가르쳐도 짤리는경우 별로 없나요
-
오르비 습관 11
이상한 글에도 댓글에두 들어가면 다 좋아요 누름 이상한 댓글도 내용 안 읽고 4개...
-
이상한짓 해야지 동화될수 있는분위기?
-
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다