이건어떰
게시글 주소: https://wwww.orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이런반응나옴?
-
궁금합니다용ㅠ
-
옵붕아 사랑해 1
뽀몹보 쫍쫍
-
[Zola] 루소 응보론 논란(?)이 예전에도 ㅎㄷㄷ했네요 0
어떤 분이랑 25 수능 19번 루소-응보론 관련 문답을 하다가 아래처럼 답변을...
-
만두 1
-
내 인생이 만화야 그냥
-
가짜들 나가라
-
흐어어엉 8
초성게임 어려워
-
레어 또 샀다 ㅋㅋ 11
이번건 NTR 안당하겠죠?
-
영어도 평가원 기출 회독하는거 의미 있을까여?..
-
국어 독서 스스로 어떻게 공부해야 하나요. 진심어린 조언 부탁드립니다 3
저는 고1 3모 국어3등급이었던 소휘 말하는 국어를 못 하는 학생입니다 국어 공부가...
-
기능사 뭐딸까 4
추천좀
-
어머 무셔라 5
-
진로 고민글 2
솔직히 문과성향 강하고 공업수학 이런 거 할 자신이 없어서 공대 안쓰고 문과로...
-
중앙솦 예비번호 0
예비번호 안 떴는데 가망 없나요
-
한다면 언제쯤 나올까요 ㅠ
-
아예모다겟음
-
ㅠㅠ
-
어차피 지금 화1시작하는 사람들은 대학갈때 통과로 셤침
-
민지야~ 8
-
여러분들만의 알고리즘이 있음? 저는 고등학교 전사고랑 ㅈ반고 고민했었는데 지금...
-
팩트는 의평원 불인증 나면 자살이 유일한 해답이라는 거임 4
진짜 자살밖에 답이없음
-
강기원쌤 라이브반은 수2 안열린거임?
-
음해입니다 7
저 노래방에서 사랑은 혼돈의 노예 불러본 적 있읍니다...
-
마지막 초성게임(끝남) 45
ㅈㄱ 12시 17분까지 상품:5천덕 기회 무제한 힌트:도구, 주방에서 볼 수 있음...
-
아오 취한다 3
취르비
-
"내년에도 화1 할래?"
-
1년 교재비,, 0
재수하면 보통 1년에 교재비 알마씩 쓰시나요? 재수하는거 죄송해서 12월에...
-
ㅅㅅㅅㄷ <- 저격함 18
얘 맨날 애니프사 코스프레 하는데 막상 애니 하나도 안봄 최애의 아이도 안봤음 ㅇㅇ
-
논술로 성공한 친구 10
상명대에서 재수했는데 수능 말아먹고 재입학 위기 그러나 중앙대 논술 합격
-
수능준비 할 때 인강으로 대충 수리논술도 준비해볼까하는데 안하는게 낫나? 기하확통...
-
역사의 뒤안길로 사라진 공간벡터 킬러 141129(B) 5
보기만 해도 참 풀기 귀찮게 생긴 비주얼 일단 주어진 식을 적절히 변형해서 풀기...
-
이걸로 친구랑 존나 싸움 투표좀요 ..
-
노력할수있는 재능 << 잘생긴재능 저게 그냥 대체불가 고트재능이라 생각함
-
논술로 붙은애들 생각보다 꽤 봄
-
그래서 수리논술로 대학 감 그 대학에서 안 붙여줬으면 최소 4수 이상 했을듯
-
최진우한탕 1
다섯글자에 환호성
-
밤이 되었습니다 13
애니프사들은 고개를 들어주세요 뭘 쳐다봐 미친새캬
-
원래 계획은 일요일에만 하는거였거덩요 근데 일주일에 한번씩하면 다 까먹는다고...
-
진짜 좀 어떻게보면 제가 잘못넘겨짚었다고 보일수도있는데 요즘 두분꺼 다 해보니까...
-
6칸 게이 5칸 안정 4칸 적정 3칸 소신 2칸이하 스나
-
어려서 꿈꾸었던 비행기 타고~
-
잘 사실까..
-
경희대 반도체공 전자공 6칸인데 경희대 경제 무역 경영도 6칸임 근데 경희대 무역...
-
의대합격보다 진지하게 어려운듯 국가유공자혈통도있어야되잖아
-
진짜 시작하면 중독돼서 하루에 8시간씩 박을거같은데
-
초성게임(끝) 33
ㅁㅎ 12시 10분까지 기회 무제한 상품:5천덕 힌트: 먹을 수 있는 거임 5천덕...
-
장투 따로 하고 시드 900 남기고 갖고 홀짝게임 중임요 따라하지마요 열차 출발 합니다~ 가즈아!!
-
김동욱 8
자러갈게요
-
김태완스시 3
아유 배고파
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.