아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
대전차오함마술 0
끼얏호우
-
지브리 토토로말고 다 들어보기만 했지 잘 모르겠네요
-
너도 기하해~
-
지브리 그려옴 0
쥐부리글려
-
당근으로 파는중 근데 팔거 중에 20%정도 팔았음
-
“흡족”
-
ㅇㅈ 2
ㅁ ㅇㅈㅁ
-
막글싸고싶다 0
뿌다다닷
-
2027년 의대열풍으로 인한 사교육 과열로 인해 너도나도 실력없는 강사들이 양산되기...
-
수능 안할래
-
2일연속 6
7병 ㅎ
-
풀지도 않을 위클리 모의고사인지 뭔지 그만 강매시켜라
-
운동하기
-
독서 질문ㅠㅠ 0
두번째 사진에서 저두부분이이 이해가 안가요ㅠㅠ 만약에 120을 2 4 8 16.....
-
설 의 적 표 현 오행시 제일 맛깔나게 한사람에게 천덕.
-
으음
-
다시 조용히 수학문제 풀어제끼는 오르비언으로 복귀
-
1. 갑을병정무 등장하는 제시문 길어지면 정줄 잡고 등장인물 간 관계도...
-
정답은 3
삼점도 못 푸는 사람
-
예... 뭐 그렇다고요 근데 지피티 김젬마 쌤이랑 원정의 쌤 안티인가 원본을 못 담노
-
아침부터 수학 실모 2개풀고 사탐외우고 논술 4시간동안 현강듣다오니까 머리...
-
삼못사 먼 뜻이게 10
이미 아는 사람은 ㄴㄴ
-
나도 사람인데 말이야
-
어디한번 호감도 구경좀 해볼까
-
팩트는 옯찐따는 비호감 척도 조사도 못한단 거임,, 4
ㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠ
-
ㄹㅇ 어렵네,팁 좀..
-
잘어울려요
-
내가 알음;
-
오감도 시제1호 13인의 아해가 도로로 질주하오. (길은 막다른 골목이 적당하오.)...
-
ㅇㅈ 15
-
저는 민감해서.. ㅜㅇ우긍으이읏생긋
-
막 되게 높게 써줫는데후에 되게되게 높게 호감인 사람이 나타나면 어떡함난 막 쓰다가 꼬여버릴꺼 같음
-
내일은 푹 쉬어볼게요
-
못생긴 여자도.
-
호감도 해봄 5
"호감도" 했음
-
여중생 나올듯ㅋ
-
저러면 해줄수밖에 업잔아....감동
-
댓글로 이유를 적어주세요....
-
난 비흡연자고 앞으로도 비흡연할 거지만 스트레스 받을 때 가장 가성비좋게 해소가...
-
사문 도표 5
화1 하다가 사문 넘어와서 도표특강 들으면서 기출 푸는데 도표가 왜 진짜 어려운건지...
-
호감도 메타 참전 31
100점 만점
-
허구한날 명품 아이쇼핑으로 집에 돈 많다는거 비틱하고 인증사진 뇌절 세번이나 올리고...
-
1년동안 빡세게해서 이성적 유지하면 가능한 점수대 인가요?
-
안올릴거긴한데
-
인증단 처단은 개뿔 지원하자는 생각이면 개추
-
근래에 이보다 마음에 드는 작품이 없었네요. 모든 장면이 참 좋았습니다. 특히...
-
인간실격 에휴
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다