모든 명제가 참이면 무모순임을 증명(제발관심점)
게시글 주소: https://orbi.kr/00069266946
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정하면 무모순
논리학 3대공리
1. 동일률(A=A)
2. 무모순율(not(p and not p))
3. 배중률(not p or p)
동일률 부정
[(A=A)를 부정]<->[(A=/=A)가 참]
[(A=/=A)가 참]->무모순
무모순율 부정
[(not(p and not p))를 부정]<->[(p and not p)가 참]
[(p and not p)가 참]->무모순
[(p and not p)가 참]<->[모든명제가 참]
[모든명제가 참]->무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ㅇㅇ?
-
연달아 휘몰아치는 보강수업과 보강실습 크아악!
-
평백이랑 누백 대충 얼마 나와야 됨?
-
작년과 비교해서 빡셀까요? 널널할까요? 아님 작년과 같을까요??
-
안녕하세요 저는 현직 치과의사이고 지난 10년간 대입과 교육에 관심을 가지고...
-
약대 겨우 가겠죠?
-
한의대 수의대 궁금한점 22
걍 진짜 무지해서 생기는 궁금증인데 앞으로 수의대가 한의대보다 좋아보이는데 왜 지금...
-
전보다 올랐으면 좋겠다 목표는 12321
-
3합 5~7기준
-
진짜 착하게 살게요 너무 간절합니다
-
수시 접수 끝났으니 의대 논술: 최저가 높으니 그나마 붙기 쉬움 치한수 논술:...
-
그런 생각 한 적 없구요 어그로 한번 끌어봤습니다. 아마 수시로 한의대를 갈 거...
-
9월 평가원 끝나고 고민걱정 많으실텐데 궁금하신거 다 물어보세요!!
-
일단 접수한 학교들 기출 다 풀리는데 이래도 떨어지는 게 약대 논술일까요? 이제서야...
-
미확기 전부 아는 상태인가요?
-
지역인재, 충청권입니다. 국수영탐(2) 3합5 정도면, 충족률이 어느 정도일까요?
-
화작 미적 사문 생윤 백분위 6모 79 97 99 98 9모 96 98 97 정법런...
-
난이도가 수1<<<<수2인 거 같은데 이거 맞음?? 수1은 7개 40분컷 내는데...
-
엠지하네
-
그렇다고 합니당
-
한의대도 가고 싶은데.. 주변에서 이미 약대생인데 뭘 한의대 넣냐 이런 반응이라서...
-
요즘 분들은 얼마나 아실라나
-
국어는 다시 시작한지 1달도 안된채로 9모 국수영 321 나왔는데 3합 4 로...
-
한의대 날아감 3
경쟁률이 21:1ㅁㅌㅋㅋㅋㅋ 높아서 마지막날에 안오긴 하겠네
-
사1과1 최저 3
카톨릭대약대 최저가 국어( 화법과작문 / 언어와매체 ), 수학( 미적분 / 기하...
-
ㅈㄱㄴ 지구정법 하고싶은데
-
수시 메디컬 0
수능 성적 어느 정도면 수시 메디컬로 가도 개꿀빨았다는 소리 안 나올까요? 갑자기...
-
가천한vs가천약 4
일반고 내신 1.11 정도인데.. 최저 맞춘다는 가정 하에 교과로 어디 써야 좋을까요ㅠ?
-
A라는 길을 이용해서 10만큼의 성장을 이루었다면 이제 경로탐색을 멈추고 A라는...
-
진짜 개좋음
-
지역인재 교과로 쓰려하구 둘 다 3합 5인데… 아직도 많이 고민이 되서 올려봐요...
-
한의대 오지마라 4
예과부터 현타 ㅈㄴ 온다 특히 지방이면 쓰지도 않은 인설약이 아른아른거림
-
설공 경치 경한 13
안녕하세요 설공(윗공대) 24학번 여자입니다. 이번에 수시반수를 고려하고 있는데요…...
-
생2지1 레츠고..
-
ㅠㅠ
-
외모든 성적이든 ㅍㅌㅊ는 된다에서 그게 몇등급 정도라보심 100명중 1등~4등...
-
옯서운 사실 4
2015학년도 수능 배치표상 한양대 미래자동차 공학부의 예상점수는 표준점수...
-
3합4 1개 넣을지 2개 넣을지 고민입니다 약대 목표로 삼수중이라 일반과는 답 없는...
-
너네까지만 딱 증원되어서 들어오고나면 사다리 걷어차게 누워줄거지?? 빅5는 들어온...
-
제발...
-
사탐런으로 과탐 고여서 과탐 끼고 4합 최저 맞추기 쉽지 않음 가형 시절 경험한...
-
수험생 특성 상 증원됐다고 그만큼 용기내서 지원하기보다 전년도 입결을 고려하여...
-
최근 한약사들이 오르비, 수만휘 등등 학생커뮤티니에서 한약사는 일반약을 모두 다룰...
-
드릴보다 쉬운 ?
-
의대만 방학 갈려나가고 치대나 한의대 등은 방학 보장이라고 하는데 재수강 해야되면...
-
22학년도 졸업(4수 나이) 한의대 내용 1도 없음 의대, 생명 내용 전체 중...
-
저 9모 화작 20분 걸렸는데 이게 점수 망한 원인인 거 같아요...
-
탐구 결정해따 4
내일부터 내년 6모까지 생2 지1로 생2 하루 3시간씩 6모 결과 미적 1컷 /...
-
9평 몇분 걸리시고 사설 서바, 이감 풀면 몇분 걸리시나요?
꾸준하시네요
ㄹㅇㅋㅋ
ㅋㅋㅋㅋ
공리가 참임을 증명할 수 없으니 부정해도 무모순이라는 게 무슨 말임? 증명 없이 참으로 받아들이자는 게 공리인데
[(A=/=A)가 참] -> 이것부터 모순임
그렇게 참으로 받아들이지 말고 부정해보자는거죠
(A=A)를 부정하는거에요
A=A가 틀렸다고 생각해보자는겁니다
그냥 참참참으로 세 대 맞고 정신 차리실래요 아니면 다시 공부하러 가실래요
전 자유를 원했을뿐임..
의미 없고 비생산적인 질문으로는 자유를 얻을 수 없을 뿐더러 남의 시간만 낭비시킬 뿐임.
논리 공부 다시 하러 가시길
A=A가 참일 이유가 있나요?
그래요 님 말이 다 맞고 온세상이 무모순입니다.
이거 보면 예수님도 암 걸리실 듯
예수(신)은 전능하니까 실제로 모든명제를 참으로 만들수있지않을까요
그냥 관종 어그로꾼이었네
왜요 ㅠㅠㅠ
논리학에 대해 잘은 모르지만 수학의 개념처럼 그러하다 하고 납득하면 되지 않나요? 왜 그런지 이해하려고 하기 보다
저는 아무말이나 해도 되는 그런체계를 원해서요
1. 공리는 참이라는 증명이 없다
< 연역될 수 없는 명제입니다.
그냥 나무위키에 공리는 증명없이 참이라고 받아들인다고 적혀있던데요
아하 그말이였구나
철수가 죽었다=/= 철수가 죽었다 그럼 철수는 죽었을 수도 살았을 수도 있는 양자역학적인 상태인 것이네요....엄청난 인사이트입니다.