이건어떰
게시글 주소: https://ui.orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
내가 본 대통령들은 시간 지날수록 다들 ㅈㄴ 늙어가던데 2
저 새끼는 혈색이 참 좋네
-
다들 인물이 좋으시더라 홍보해야하는데 물리력 만땅인 공대생을 뽑을수는없겠지 ㅇㅇ
-
벌레 ㅈㄴ 싫음 0
그냥 순간 몸이 굳고 패닉 옴 극복불가능 극복한 사람 있음?
-
이거 꼭 해야해요? 책값 왤케 비쌈 그냥 개념 확인용같은데
-
그냥 국숭세단까지면 ok 너무 학벌을 많이 보고 싶지도 않기도하고....
-
궁금해서 신청함
-
생활패턴 망한 기념 영화 시청하려고 하는데보고 자야해서 공포영화만 빼고요!
-
연애하고 싶다 0
ㅏ
-
Z
-
삽 졸린데 6
애들 사이에서 못 자겟어
-
고2 모의고사때 쭉 1이었고 10월때 2등급(구차한 변명이지만 이때 1등급 비율이...
-
차지리리 0
판한해요
-
인스타 계정 아무리 찾아봐도 그 포스터가 안 보이던데 그거 보고 연락하면 오르비...
-
그냥 동문이랑 사귀는 게 깔끔할듯요 cc는 좀 아닌 것 같고 같은 사과대라면...?...
-
지금 노는거 조금씩 줄여서 대학 잘 가고 줄인거 수능 끝나고 순도 100퍼센트로 놀...
-
맨날 퀀트 주식 문자 오길래 먼 스팸인가 했더니 유플러스 드가니까 9900원씩...
-
이거 떨어지면 1
하늘이 절 버렸다고 생각할게요..
-
그니까 삼천원이 내려간게 아니라 삼천원이 됐다 이거에요? <<< 어제 상황
-
인강도 포함인거죠?
-
매직키보드 실까 고민되는데…
-
-
문제들이 쎈보다 어려운거같음
-
더러운거 질색이에요;; 편의점 바퀴벌레때문에 관둠 쿠팡은 육체적으로 힘들어서 ..
-
마음에 들어요
-
-
궁금하네요
-
윤석열은 9수까지해서 사시패스를 했는데 조국은 사시패스도 안하고 설법 교수된거 ㅇㅇ
-
ㅈㅉ개달음
-
말안된다……
-
작년에 학원끝나고 걸어가고 있는데 길에서 사람보고 하수구에 뛰어드는 쥐봐서 충격먹었음
-
잠은 안 오네요
-
점공 업뎃완료 2
오늘 두명이나 들어왔네용 제발 최초합기원!!!
-
-
군필 03년생이고 이번에 휴학하고 공부하는데 수학개념을 많이 까먹어서 시발점부터...
-
롤케이크 맛있어 2
-
내일도 안좋으면 병원가야지..., 다들 굿밤되세요ㅜ
-
읽기만 하는 것보다 좀 써보는게 맞나 공부를 어케하는지 모르겟음
-
ㅅㅂ 팔만전자 되는 순간 다 팔아버린다
-
제2외국어 보는반이 분위기 좋다는 말도 있던데요
-
기차지나간당 5
부지런행
-
전자공 1학년 다니고 군대 갈건데 아이패드 사지 말까요??
-
진심 트라우마 ㅜㅜ
-
곧 문닫는 술집의 단기알바생이었는데 가로수길자체가 좀 죽은상권이다보니 손님도...
-
히잉
-
개념강의가 가장 좋았고 판서좋아인간이라 더 잘 맞았나봐요 풀커리 탔고 수능날 아침에...
-
시ㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣ발 ㅠㅠㅠㅠㅠㅠ
-
되찾아 오자꾸나 가보자 가보자~
-
근데 성적도 재밌어질거같아서 못하겠음
-
초딩인가 중딩때 인형뽑기 오락실 잠깐 유행하고 그뒤로 싹 사라졌는데 디시 우후죽순생김
-
과외생 8명인데 1
다 확통임 ㅋㅋㅋㅋ 뭐지
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.