모든 명제가 참이면 무모순임을 증명(제발관심점)
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를 선물하세요.
-
갑 입장에서 인간과 모든 이성적 존재~ 라 되어있는데 인간만 이성적 존재 아닌가요?...
-
목아포 ㅠ
-
흠냐뇨이..
-
스크린샷 찍긴 귀찮고 오른거 다 보이니까 차트에.. 수익률 코베 +124%테슬라...
-
이과 최상위권들은 간혹 보면 탐구 47점 1컷 또는 심지어 2등급이나 3등급 박혀...
-
너무 귀엽다 0
사람 너뮤 잘 만났어 너무 귀여워
-
이감이었나 어디 풀다가 봤는데 묘사 ㅈ같음
-
신 상 혁
-
-
연계 재미있는 사실 17
고전소설 연계는 주로 인물 이름이 들어간 작품이 나옴 21수능 최고운전 22수능...
-
장카설유 뭐냐 2
장풍 카리나 설윤 유대종 let's go
-
https://orbi.kr/00069850413/2025%ED%95%99%EB%85...
-
국어:현대시 고전시가 주요작품 복습 + 화작 2세트 수학:올해기출 복습 영어:노트...
-
저녁메뉴 추천좀
-
시간이 좀 붕 떠서
-
나 말했다
-
한 때 단골 주제였던 무등비 요즘은 나와도 3점 지구과학에 정말 자주 나오던 산소...
-
인스타릴스에서 본건데 수능성적표는 저렇게 뜨나여?
-
7 8 20 21 24번 틀린거까지 채점하고 멘탈나가서 덮음 뭐지
-
기다림의 값 0
기다림은 비싸다..ㅇㅅㅇ
-
메인 간 기념 12
질문 받을래요 심심하신 분 해주시면 감사
-
을사늑약에 따라 조선 총독부가 설치되었다. 정답과 해설은 댓글에
-
영어 0
내일 내일모레 모고 하나씩 하려는데 그냥 가볍게 기출 다시 풀고 들어가도 되려나요?...
-
급 궁금.. 몇등급 나올까요
-
개념도 킬러도 다 걍 병신인듯(내가)…
-
여캐일러투척 0
얀데레 느낀 넘 좋다
-
화이팅 입니다
-
그냥 뺏겨야함?
-
인터넷에서 학벌은 마치 그 Yacht와도 같다는 글을 봤는데 딱 적절한 비유인듯...
-
사문 0
사설 40점다 꾸준히 나오다가 작수 30점대 초반 나왔는데 어캄 ㅠㅠ
-
댓글에서 아직도 강평드립치네
-
수능 수학 궁예 5
20번이나 21번에 개물로켓 하나 박혀 있을 듯
-
평소처럼 공부하실건가요 아님 집에서 하실 건가요 아님 집에 좀 일찍 가실 건가요?
-
수요일은 소집 가느라 공부 거의 못하니까 내일 총정리 예정 오전-김승모 수능대비...
-
노경천전 렛츠고
-
머릿속에 개념이랑 스킬들 다 넣고 수능 시험장에서 머릿속에서 그거 컨닝하면서 풂
-
텔그에는 어문 60퍼에서 50퍼까지 나와서.. 좀 후하게 잡은건가요?
-
아 집갈까 6
국어 좀 더 하고 갈까
-
구버전? 구하는법 있나
-
이해원 파이널 오늘 다 풀었는데 이거보단 쪼끔 더 어려우면 좋겠어요
-
내가 이 고사장에서 제일 빌런이다라는 마인드 셋팅 다리 신명나게 떨어주면서 시험지...
-
교대 재미업써 0
수능 마렵네 하
-
수능이 이제 한 이틀 남았는데, 수학이 부족한 사람들을 위해 수능수학에서 무조건...
-
안녕하세요, 생명과학 1을 다루는 Aclass입니다. 이번 글은 어제 예고했던...
-
전 그냥 평상시 하던대로 하는중이라.... 전날만 6모 보고 정리한거 보고 할듯
-
영어 빈칸은 4
몇번으로 찍는게 베스트인가여 4문제 한번호로 밀건데
-
늦게 가면 몇시까지는 가야할까요??
-
설사 방지약 그런거 있나 긴장하면 배 자주 아파서
-
22 수능 - 불수능 + 생2 오류 23 수능 - 탐구 불 25 수능 - 사탐런, 의대증원
-
고3때 동국대 붙었을때도 동국대 뱃지 있었으면 이거 끼고 오르비 했을 것
꾸준하시네요
ㄹㅇㅋㅋ
ㅋㅋㅋㅋ
공리가 참임을 증명할 수 없으니 부정해도 무모순이라는 게 무슨 말임? 증명 없이 참으로 받아들이자는 게 공리인데
[(A=/=A)가 참] -> 이것부터 모순임
그렇게 참으로 받아들이지 말고 부정해보자는거죠
(A=A)를 부정하는거에요
A=A가 틀렸다고 생각해보자는겁니다
그냥 참참참으로 세 대 맞고 정신 차리실래요 아니면 다시 공부하러 가실래요
전 자유를 원했을뿐임..
의미 없고 비생산적인 질문으로는 자유를 얻을 수 없을 뿐더러 남의 시간만 낭비시킬 뿐임.
논리 공부 다시 하러 가시길
A=A가 참일 이유가 있나요?
그래요 님 말이 다 맞고 온세상이 무모순입니다.
이거 보면 예수님도 암 걸리실 듯
예수(신)은 전능하니까 실제로 모든명제를 참으로 만들수있지않을까요
그냥 관종 어그로꾼이었네
왜요 ㅠㅠㅠ
논리학에 대해 잘은 모르지만 수학의 개념처럼 그러하다 하고 납득하면 되지 않나요? 왜 그런지 이해하려고 하기 보다
저는 아무말이나 해도 되는 그런체계를 원해서요
1. 공리는 참이라는 증명이 없다
< 연역될 수 없는 명제입니다.
그냥 나무위키에 공리는 증명없이 참이라고 받아들인다고 적혀있던데요
아하 그말이였구나
철수가 죽었다=/= 철수가 죽었다 그럼 철수는 죽었을 수도 살았을 수도 있는 양자역학적인 상태인 것이네요....엄청난 인사이트입니다.