이건어떰
게시글 주소: https://io.orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
거의다 자나보네 20
오
-
한번만 더 이기면 민폐는 아니었잖아 시전 시우가 민폐였다 똥냄새 여기까지 난다 시전...
-
자러감 4
밤 새려고했는데 늙어서 못새겠음 4시간반 자러감 굿밤
-
현실친구안사귀고 맨날오르비에만글싸고 순공20시간인증매일하다가...
-
흠 8
-
진짜금붕어와지능테스트해도 질자신있음…
-
글 쓰는 중 6
이라는 글 쓰는 중
-
강제 배송이고, 많이 안 받으면 울어버릴거임. 다들 대박나셈뇨 고고
-
싫어요
-
nynykyo_93 닉을 말을 해주세요 왜 닉을 말을 안하죠 차단햇으면 안받음
-
공스타 맞팔 구 0
-
.
-
개배부르당 2
꺼어어어억
-
공부 시작해볼까 0
이런 삶도 그만 살고 싶어
-
학사일정에 안나와있네요ㅠ
-
진짜개빻아서 넌 의대가라 제외 댓 달릴 만한 사진이없음
-
화학 츨제진이 여기까지 노린다는 게 정설이다 스바
-
그래도 좀 있겠죠?
-
고2 모고기준 2~3 진동하는데 키스타트 재끼고 nf 하는중입니다 근데 해석...
-
내일 목표 17
베르테르 1개 풀기 코딩 하기 노래방가기 일찍일어나기 밥 2번 먹기
-
옯만추 해본사람 있음? 10
ㄹㅇ궁금함
-
맞팔하실분 4
52명만 구함
-
무슨 글 쓰지 10
흠.
-
레벨1, 2도 대부분 오래걸립니다. 다른 문제집 뭐 풀어야하나요
-
ㅇㅈ 10
새해 복 많이 받으세용ㅋㅋㅎ
-
맞팔구 3
팔취당해서 동테됏어요…
-
코인은 망했고 주식은 거래정지 상폐예정임 ㅎ.....
-
왜케 우울해짐 3
ㅜㅜ
-
아니 노래방 너무 가고싶네 내가 또 밴드부 제안 1번 받은 무친 보컬인데말야
-
뭐야 왜 인증메타 15
그래 내가 몽땅 못봤다ㅋㅋ
-
2024 11/10 시작 수1, 수2 뉴분감미적 뉴런.수1 N제 하나수2 N제 70% 정도
-
그냥 공부했던거 다 까먹어도 상관...은 조금 있겠지만 인성이나 친화력을 조금만 더...
-
연애 5
100일 이상 간 적이 거의 없었음 예전에는 외모가 문제라고 생각했는데 생각해보니...
-
년생/만나이/한국나이 이글저글 다 얘기하고 다녔는데도 생각보다 못맞추길래 이 순으로...
-
얼버잠
-
ㅇㅈ 15
시발…
-
자라 4
잔다
-
태그는 3
01부터 08까지 잇네
-
찐인지 짭인지 1
흐흐..
-
현역때 언 기 경제사문 골라서 설경다녔음 막상 그때는 공부 얼마하지도 않았어서...
-
맛잇는거 1
잔뜩 쳐먹기
-
제 나이 맞춰봐요 15
너무 많이 뿌려서 다 알듯
-
킼킼..오버슈팅은 무슨..킼킼...브레턴우즈 대비 리트...킼킼... 2
음음 그래그래 언매 1컷 92점 달성 대 가 원
-
혹시 비행기 타보셨던분들 있으시면 질문 하나만 할게요 8
국내선 비행기 탈 때 출발 몇분전까지 공항 도착해야 하나요? 참고로 광주에서 출발할 예정입니다.
-
제 나이 맞추면 천덕… 10
바로 쏴드려요
-
ㅜㅠㅜㅍㅍ푸ㅜ푸푸ㅡㅜㅜㅠㅜㅠㅜ 푸푸
-
참;
-
음..
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.