이건어떰
게시글 주소: https://orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
난 과외는 못할듯 11
반수해서 더 좋은데 가더라도 애 팰까봐 못할거같음 좀 험악하게 생겨서(정치인...
-
시대 장학금 4
백분위 합 282 인데 이정도면 장학금 한푼도 못받음?
-
3합마렵다 1
ㄹㅇ합격증3개내놔 ㅜㅜ
-
..?
-
반려는 또 뭐임
-
일단 이 글을 쓴 이유. 메가스터디 지인추천카드- 기숙,러셀 10%할인 가능...
-
이게 다 노박사 때문이다
-
다들 개인적인 질문(동기 등등....) 받으셨나요? 저는 못받았어가지고...
-
메가 없어서 대성만 있는데 임정환t 생윤,사문 개념만 듣고(리밋) 현돌 기시감...
-
그냥 궁금해서 물어보는거 ㅇㅇ 남자들만 투표해라
-
나중에 대학 졸업하고 열심히돈벌어서 맥주집차릴껀데, beer(맥주) 랑 연결시켜서...
-
1. 면접 건물 앞에서 사범대 선배들이 응원해주더라. 지원한 과 선배한테 핫팩...
-
어떤분은 시종일관 지과목 좋으니까 지가하는 두과목 다하라고만 하네...
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.