아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://ys.orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ㄹㅇ 3모보고 열심히해도 6모가서 다 떨어짐? 오늘 수업에서 쌤이 의미없다던데
-
안녕하세요 작년 수능 미적92점 받았습니다. (28계산 실수, 30실력부족) 제가...
-
좀 솔직해져 보자 55
학교 다니면서 가까운 이성 친구 없었다 조용히 좋아요 눌러. 나 진지해 진짜 없어서.
-
맞팔ㄱㄱ 9
-
루시드 니달리로 POM도 받음 포킹 조합에서 좋은건 알고 있음
-
현 예비 고3입니다 수학이랑 국어하느라 영어를 많이 못했어요.. 단어 조금 외우고...
-
매주 일요일 반나절은 책읽는데 써야지
-
대체 정신병걸린 선생새끼 하나가 뭔 지 오늘 기분 안좋다고 교무실에 문의하러 온...
-
백분위 95 98 1 97 100 원점수 91 92 ?? 48 50 올해 제...
-
알바가기싫다 4
우웅.....
-
인생불공평하다 7
자주느낀다
-
예비 고1입니다?
-
일본어 잘하는 법 : 수능 국어 잘하기 <- 이거 진짜인듯 ㅋㅋ
-
이왜진?
-
저녁 메뉴 추천 부탁드립니다
-
님은 이미 끌린거임 ㅇㅇ
-
반수해서 저러면 ㅅㅌㅊ인가요?
-
헌법재판소는 “탄핵 심판은 재판관 개인 성향에 의해 좌우되지 않는다”고 31일...
-
최상목, 내란특검법에 또 거부권... "별도 특검 필요한지 판단 어렵다" 1
최상목 대통령 권한대행 부총리 겸 기획재정부 장관이 31일 '내란 특별검사법'에...
-
아니면 의치한순가요
-
2옥타브 미 이상 내는 남자는 이제부터 여자로 간주한다. 15
남자는 태어나서 죽을 때까지 0, 1옥타브만 낸다.
-
입학처놈들 0
조기발표좀 해주세요.. 기다리다가 망부석될듯
-
감도 떨어지고 성적도 떨어지고 지능도 떨어지네
-
워밍업 무게로만 햇는데 평소에 최대한 빡세게한거랑 똑같이 힘듦 시발ㅋㅋㅋㅋㅋㅋㅋㅋㅋ 말안된다
-
군수 질문좀… 9
저는 23수능 보고 중앙대에 진학했는데, 현재 전공이 너무 맞지 않는 것 같습니다....
-
필리핀, 간첩 혐의 중국인 5명 추가 체포..."군 기지 등 촬영" 2
남중국해 영유권을 놓고 중국과 분쟁 중인 필리핀이 중국인 5명을 간첩 혐의로 지난주...
-
물1 말고 다른 탐구로 가고 싶기는한데 할줄 아는게 물리만 있어서 다른 과목으로...
-
흠 3
새벽운동 뭐하지 실내 자전거vs야외 달리기
-
영일만해수욕장 카페
-
레전드 고대생 발생 28
연잡대는 복종의 정수리를 보이도록.
-
제설 제설 제설 제설 제설 제설 제설 제설 제설 제설 제설 제설 제설 제설 제설...
-
국어 과외 단가 8
이번에 국어과외가 들어왔는데 대상은 재수생 5등급 노베이고, 비문학만 기초부터...
-
이상민 측 "수사기록 의도적 유출…불법 사안" 반발 1
[이데일리 최오현 기자] 이상민 전 행정안전부 장관 측이 12·3 비상계엄과 관련한...
-
현역때는 69수능1 서바도 두세번 2인거빼고 1 이랫는데 요즘 강k보니까...
-
잇올 백색소음 0
ㄹㅇ임 이거 볼륨만 존나 크게 해서 틀면 됨
-
“자위하는 남성에 벌금 최대 1만 달러”…美서 발의된 황당 법안 8
미국의 한 주의회 상원의원이 ‘남성 자위 금지법’을 발의해 그 배경에 관심이 쏠리고...
-
안녕 4
곰방와
-
국일만식 해설 1
국일만 노베7일차인데 최대한 국일만이랑 내스타일이랑 섞어서 풀고 문제다풀고 문제에서...
-
1억6천만원에 동료 목숨 판 정보사…다시 떠오른 ‘간첩죄’ 1
‘블랙요원’ 명단 유출한 정보사 군무원 중형 선고받았지만, 간첩죄 적용 안 돼...
-
문과 수학 2등급을 ㅈ으로 봄
-
고2 69모 1틀 백분위 100 10모 쿨쿨졸아서 백98 아무리 컨디션나빠도...
-
왤케짜치지
-
[속보] 헌재, 중앙선관위 사무총장도 증인 채택
-
서연고 서성한 3
중경외시 건홍
-
사수생 오티는 어떨까 12
여태까지 대학이 다 맘에 안 들어서 오티 같은거 가본적도 없는데 비록 친화력이...
-
님들 태블릿 뭐씁? 10
???
-
[속보]헌재 ‘투표자수’ 검증 신청 기각…신원식 안보실장 증인 채택 1
[헤럴드DB] [헤럴드경제=박지영 기자][속보]헌재 ‘투표자수’ 검증 신청...
-
언럭키현우진 출격 1도안절고 관심법으로 학생 틀린 풀이까지 맞추며 7문제설명? 걍ㅇ
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다