이건어떰
게시글 주소: https://test.orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
별로 친하지도 않은데 확 그냥 차단해버릴까 얘 덕분에 방금 처음으로 활동 표시 기능...
-
수분감 수1 수열 파트 풀다보면 객관식으로 된 수열 증명? 그런거 너무 많은데 꼭...
-
므에엥엥에ㅔ엥 0
얼굴 핥아줘요
-
가천대는 올 수 있어요?
-
지2멸망ㅈㅈㅈㅈ
-
혹시 몰라서 쫄려..
-
메가만 듣고있어서 또선생 들을까 하는데 노베한테 누가 ㄱㅊ나요?
-
넘으면 아래에 드래그바? 같은거 생김
-
미적 실전개념편 하루에 2시간정도하면 끝내는데 대충 얼마나 걸림??
-
사탐런하시는분들 5
어디로 많이 가시나요 저 지구과학에서 생윤으로 런치려고하는데 생윤 ㄱㅊ할지모르겟네여
-
생윤윤사하라고 4
제발 윤사 문제 풀어보기라도 해줘.. 그러고 결정해도 늦지 않잖아
-
중앙대 훌리+ 소수과+ 잦은 인증 걍 만나면 인사나 해주셈뇨
-
얘들 좀 어떻게 하면 안되냐
-
우루푸 할게요 2
네
-
와 푸리나... 2
웨 클릭
-
허리 개 아프다 진짜 반갈죽 날 것 같다
-
아술기운올라온다 12
기분굿
-
세지는 패드로 풀만하던데 생윤은 선지 분석할때 적을게 많으니 종이가 편하려나?...
-
자신이 학교를 졸업하면서
-
[속보] 법원, '윤석열 대통령 구속기간 연장' 불허 6
[속보] 법원, '윤석열 대통령 구속기간 연장' 불허
-
근데 이거 규칙에 걸리나
-
국수영 1~2 3~4 1~2 임 근데 과탐이 생지 기준 1~2 1~2 임여 그러면...
-
우린 오르비를 위해서라도, 오르비언을 위해서라도 우리끼리 서로 보호해야한다고...
-
ㅡㅜ
-
국정원장, 14,18,19,20,22대 국회의원 박지원 0
제목 이렇게 걸어두고 프나 박지원 올리기.
-
얼탱
-
딸기 사탕 맛이야
-
제가 너무 대학에 미쳐있는건가요? 전 무조건 의치한이 최고라고 생각했는데 그게 아닌사람도 있나보네요
-
걍 식물갤 말고는 커뮤가 거기서 거기 아님? 굳이 저럴 필요 있음? 아닌가 거기서...
-
조발 안 해서라 생각한 동국대는 #~#
-
경희대 레어가 갖고 싶은데 XDK / KRW이 어느정도임?
-
천만 딸러 생김 6
머하지
-
고대 서강 최초합 ㅇㅈ 16
-
그정도로 잘못한건가 싶음
-
연속적으로 증가하니까 그럴 때가 잇엇을 수 밖에 없음
-
세지하라는 사람은 별로 못 본 것 같은데 왜 그런거임?
-
여간해선 만족이 안되네 지난번 투란도트는 최악이었고 이번ㅔ도 기대이하 내 기분이...
-
약대 인기 폭발이네 12
친구1(정시 경대,3합6 못맞춰서 성대 수시떨) 친구2(25수능...
-
차영진,양승진 선생님들은 언급 진짜 많이 줄었네...왜지
-
암기과목을 하셈
-
헬스터디 교육청 학력평가도 좀 했으면 좋겠음
-
복습영상 4개 연달아 들음 늦게 들어간거라 근데 개어려운데…?? 뭔가 체화하면 문제...
-
점공 등록 순위 0
점공 등록 순위랑 실제 진학 희망이 다를 경우 있을까요 제 위에 연대 상경계열...
-
생명 3
유전 왤케 어려움?
-
유럽 우주국에서 발사한 가이아 망원경이 우리 은하를 11년 동안 3조번 관측해서...
-
3덮두고보자 ㅠㅠㅠ
-
엔티켓 난이도 0
오늘 엔티켓 수1,2 시즌1을 다 끝냈는데 생각보다 어려워서요ㅠ 입문 엔제 난이도가...
-
해명하겠습니다 10
진심을 담아 적거나 비방하려는 글은 없었습니다 죄송합니다
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.