이건어떰
게시글 주소: https://test.orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
고대 특유의 다같이 으쌰으쌰하고 단합 잘되는 분위기를 좋아해서 고대쓰고싶었는데...
-
말까요?
-
1학년 다니다가 군대가고 작년에 전역해서 바로 수능봄 아직 결과 안나왔으면 일단...
-
개졸리네 2
개돌리네 개졸리네 개졸리네
-
연대식 703.59였는데 털그에서 계속 705점이 연경제 떨어진다고 하고 진학사...
-
ㅇㅇ?
-
본가에 가있으면 꽁돈이너무나가지 않나요ㅠ
-
정확히는 연대 69x / 고대 65x 입결하락으로 인한 내려치기는 커뮤니티에서만...
-
진짜 뭐뇨이
-
전젱이야~오! 겁쟁이야~오! 너 두고봐~ 그녀가 또울자나
-
안녕하세요! 생1 강사 권희승T입니다. 2025년 첫 게시물로 인사드리게...
-
이거 은행에서 선물 받았는데 집에 캐리어가 너무 많아서 20에 걍 던짐 사갈 사람 쪽지 좀
-
외대 예비 1
외대 예비 10번받았고 작년에 15명 돌음 근데 작년엔 30명 뽑고 이번엔 21명...
-
지금 겨울방학때 수1 수2 어떻게 공부해야할지 좀 자세히 알려주세요ㅠㅠ 아래...
-
인생 개망함 2
운지하고싶네
-
좀 쉬고와야지 결국 오늘도조발은없군.
-
고소미 맛없어서 구체적으로는 못 쓰지만 지금까지의 행실이…. 결론은 눈물 흘리면서...
-
보통 컨설은 맹신하는거 아님 아무리 돈 주고 컨설 한다한들 보통 자기 의견이 맞는...
-
레어ㅓ사가요 2
ㄹㅇㅅㄱㅇ
-
후하게잡았다가 대형과 6칸떨 생기면 미친듯이 욕먹는데 존나짜게잡고 2칸최초합하면 욕은 덜먹긴하네
-
이 문장을 읽고 어떤 생각을 해야될지 (자신이 했던 사고의 보여주며) 그리고 선지...
-
66x 정도 받고 혹여 떨어질까봐 안정과 쓴 애들보다 오히려 65x 64x 같은...
-
에에에
-
연대식 712였는데 일부한의대랑 퍼센트 비슷했음
-
지금 한양대 에리카 배화공 최초합 했고 전남대 화학공학부 예비 좀 앞쪽 번호 받아서...
-
인생 망한김에 덕코수금
-
본가에서 사생활 없이 살기 vs 휴학 상태에서 타지 가서 혼자 살기
-
뭔가 돌아가는 꼴이..
-
이거 m1 m2 반대로써서 틀리고 정말 절묘하게도 서울대식 394.5가 390이 돼버린
-
아오 오르비시치 2
갑자기 왜 서버가 그따구였던거야
-
문제 n회독 할때나 다시 풀때 흔적남아서 스캔떠서 태블릿에서 풀려고 했는데 제본소에...
-
사실 이건 입시판 문제가 아니라 세상 만사가 그런데... (일종의 내생성 이슈임)...
-
정상화의 신 밀레이 ㄷㄷ
-
서울 비용 1
만약 서울에서 자취하면서 생활하면 비용 얼마나 드나요 식비 노는거 이렇게 다하면요
-
내 레어 안사가서그래. 레어 사가
-
이진숙 "언론사 '내란' 표현 문제…말의 무게 알아야" 1
이진숙 방송통신위원장은 언론이 윤석열 대통령의 구속 혐의로 '내란'이라는 표현을...
-
나만 그럼?
-
안녕하세요 저는 독학재수를 하고 있고 올해 확통런을 한 학생입니다. 수학 교과개념...
-
김동욱 커리 타고 있고 문학에 약해서 문학만 강민철 커리 추가하려는데 강기분 전에...
-
1.국어 쉽게나옴 2.수학 쉽게나옴+22번 실수틀+확통한테빼앗겨버린표점 3.탐구...
-
7분 0
남았다
-
레어확인 2
오
-
원팡511 설인문 399던데 대깨설은 아무도 못막노
-
원래 어디 선택하는 게 정배임?… 원서 저렇게 쓴 사람 개많던데
-
1시까지는 ㄱㅊ은데 3시 넘겨서 잠들면 다음날 정신 못차림
-
레어 잘못샀다 2
파텍필림 누가 가져가줬으면..
-
설문과 391로 뚫리는데 나오면 너무 슬플거같아.. 4
괜찮아 난 메디컬 26학번이니까
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.