이건어떰
게시글 주소: https://orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
돈 버렸어 떼잉쯧
-
그냥 짝사랑하는 사람을 보는거나 좋아하는 친구들과 술을 먹는거나 좋아하는 노래를...
-
궁금한거 질받함 0
좀재밋는거해주셈선개넘어도가능
-
11시까지 챔필에 남아서 싸인기다렸는데 개매너 팬들땜에 성범이형 싸인못받고...
-
ㅇㅈ 11
ㅂㄱㄸㅂㄱ
-
-
스마트폰 시대에 누가 스티커사진을 다시 스마트폰으로 찍어서 인스타에 올릴게...
-
마지막 소원이다.. 보러가게해다오
-
믿거나 말거나 3
나름 나만의 소신과 기준이 있기 때문에 조리돌림,신상털기,강요,협박,환자를 인질로~...
-
전연령빼와야하나 수원에서 논산가야함
-
클린하게 먹으려면 세 끼 기준 한 끼에 쌀밥 300-350그램(햇반 하나가...
-
얘전에 팀수업할때 홍련의궁시 가사 읊으면서 중간고사때 적들을 전부 구축하고와라...
-
근데 비갤 신기한게 15
같이 하하호호 오르비 하다가 얘 좀 띠꺼운데? 싶으면 디시인사이드 켜서 욕...
-
우리는 믿습니다 대학의 성장은 사람을 키우는 일로부터 시작된다는 것을 2
자 ~ 지축을 박차고 자 ~ 포효하라 그대 조 ~ 국의 영원한 고 ~ 동이 되리라...
-
역시 잘생겨서 마음도 넓으셔
-
아니 알몸으로 설거지? 10
와 ㅅㅂ ㅋㅋㅋㅋ이건 또 뭐노 근데 설마 앞치마는 두르고 했겠지 설마
-
이제 ㅇㅈ안한다 3
^^
-
엿같은경험 한게 한두번이 아님
-
세상이 날 이렇게 만들어도 비록 온갖 억까를 당하더라도 이 세상에는 내가 좋아하는,...
-
사랑해요 삼성의김지찬안타를날려라
-
-
그리고 연세빵도 샀으니까 각각 먹으면 두 끼 해결임
-
철수랑 영희가 WWE 하고있는데 철수 여친이랑 영희 남친이 과몰입해서 당사자들은...
-
통진당마냥 잡아가고 터트려도 후신 정당이 살아있는데 그보다 체급 압도적으로 큰 두...
-
ㅇㄱㅈㅉㅇㅇ? 2
-
괜히 차단된 댓글입니다로 뜨게 만들어서 내용 궁금하게 만들고
-
자라감 ㅂㅂ
-
ㅇㅈ 16
오르비안녕히주무세요
-
수정완료 라는말 7
너무야함
-
내가 세계의 자유를 빼앗는것도 자유 너희가 그걸 막는것도 자유 조리돌림을 하는것도...
-
어려워요
-
가하런 0
작수 202127282930 틀렸습니다 3달 만에 미적 하는데 아예 리셋된 느낌이...
-
부엉부엉 하지요?
-
재업) ㅇㅈ 11
펑!!
-
시동못걸어서 떨어진적 있긴함 2종보통임
-
홍종표 뭔일있음? 14
직관갔는데 기아 팬들 응원안해주던디
-
-
-
4차산업혁명이 성공적으로 이뤄지고, 인공지능과 로봇기술이 극도로 발달하면 모두가...
-
-
잘라고 누웠는데
-
떠 먹여줘 움직이기 귀찮아 아 명조 해야 하는데
-
ㅇㅈ 7
-
요즘은 아무리 똑똑해도 느낌부터 다른 사람은 적은듯 6
옛날 수능 만점자 인터뷰 보면 진짜 누가봐도 아... 공부 ㅈㄴ 잘하나보다 인데...
-
계속 미안하다고 하는거보니까 짜증나게 하려고 저러는듯.. 슬슬 시동거는거같음 기대된다
-
ㅇㅈ 6
펑
-
왜 어린데 겁도없이 성인남자랑 접촉하냐는데 뭐라 할말이없네
-
자야지 1
어우 피곤해
-
기축통화국이 되어 무한확장 재정정책을 펼치면 모든 문제가 해결될 것.
-
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.