이건어떰
게시글 주소: https://orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
D-205 0
수학 2단원(원순열~중복순열) 기출 20문제 국어 내신 2지문 분석, 문제풀이
-
부모 둘다 공부와는 거리가 먼 (해도 안돼서 포기햇다고함) 집 자녀가 두돌전에...
-
졸업할때까지 길 못외울거같음
-
근데 큐브에서 풀어줄라다가 설명할 자신이 도저히 없어서 gg침..
-
드럼통 가나요
-
직접 하긴 귀찮아서 그냥 남에꺼 보고 싶다...
-
기출 어느정도는 다 아는데 좀 다시 한번 싹 정리하고 싶어서.. 걍 무난하게 수분감 ㄱ?
-
혹시 수학 약해서 몇달동안 수학만 하신 분 계심? 13
한달반동안 거의 수학만 해도 되려나
-
크보 인기 많으니까 편승할라는 건지 모르겠는데 크보팬들 데려다가 조롱하고 자빠졌네...
-
국가보안법 위반으로 체포되나요
-
“게이들은 카리나도 안좋을까”만 올리는건 성평등에 맞지않는것같아서 올립니다
-
[속보] 대법원, 이재명 '선거법 위반' 사건 전원합의체 회부 0
대법원이 이재명 전 더불어민주당 대표의 공직선거법 위반 사건을 재판부 배당 당일인...
-
노래 좋다
-
흠,, 3
군대튀하고 싶군
-
과탐을 선택해본적도 없는 나에게 왜인지는 모르겟으나 학습상담이 왓음(이유는...
-
아으 힘들다 2
알파카메일이 되고싶구나..
-
오늘은 자기 질문할 것도 없는데 거기 시끄럽다고 그냥 안간데 난 뭐 같이...
-
근데 전체적으로 빡빡하네여 통합 교육 대두라 문법 문학 비문학 작문 계속 튀어나오니 풀면서 빡빡했음
-
걍 6모 전까지 딴 공부 안하고 거의 수학만하는거 어떰 2
수학이 진짜 제일 급한데 아 사문런해서 사문 개념만 좀 하고 이동시간엔 어차피 공부...
-
스타팅 블록 수2는 별로 배워가는 느낌이 없는데.. 11
8강까지 들었는데 지금까진 뉴런 하위호환 느낌임 수1을 들어봐야 되는 것인가
-
단원별 n제는 드릴 정도만 하고 걍 서킷 브릿지 지인선 이런것만 풀고싶음......
-
서울대 카이스트 학생들 그리고 포공 연공 고공에서는 최상위권 학생 뿐임
-
킬캠보다 어렵다는 최근 실모들보다 옛날 킬캠에서 더 많이 박살남 ㅋㅋㅋㅋㅌ
-
근데요 2
게이는 아닌데 차은우랑 사귈래 하면 사귈듯
-
흠 여기만 타겟팅하는데 뭐가 문제지
-
지들 듣던 강사의견이랑 다르면 또 댓글로 ㅈㄴ 야랄할게 눈에 선해서 이건 그냥 클로즈할까 생각된다
-
밖에 비온다 0
비 멈추면 날씨 좋아지겠지~ 택시 탔는데 계속 콧물 훌쩍훌쩍 거리니까 기사님이 왜...
-
잇올 퇴근 완 2
기분이좋군
-
생윤 윤사 재밌다고 철학과 오는 것이 맞는가 - 눈덩이의 중간고사 준비 서양근대철학 입문편 0
*이 글은 필자의 뇌피셜과 드립이 난무하는 글입니다. 설명을 위해서라면 교육 과정의...
-
-
스카 양도 0
해봄? 한 달 남았는데 친구한테 팔아야되나
-
아직 경우의 수 - 확률에서 헤매는중 .. 감 잡으려면 기출을 좀 풀어봐야하나
-
해병대 군수 0
여기 해병대에서 군수 해보신 분 계신가요? 물론 힘들걸 알고 있지만 궁금하네요
-
이 문제 처음 풀때 지수개념을 몰라서 못푼게 아니고 마지막에 조건해석을 걍 못했음...
-
뭐먹지 2
뭐먹지 뭐먹지 뭐먹지 뭐먹지 뭐먹지 뭐먹지
-
점메추 8
국밥빼고
-
주대 0
의식질양수
-
수특 개풀기싫다 3
사인값이 계속 1 넘어가길래 답지봤는데 문제오류네 이럴거면 그냥 연계 안했음 좋겠다
-
흐흐 6
다들 맛점하세요 ㅎㅎ 전 헬스장 흐흐
-
너무배고파서 6
감자 L 시켯다가 후회하다. 햄버거도 다 못먹음 감자 때문에 개배부르다 이제 가서 공부해야지
-
피곤피곤하군 0
점심시간에 밥안묵고 자야지
-
쌍사러 동사 세사 한바퀴는 다 돌았는데 둘 다 만점이 목표거든요 어떤분이...
-
ㅇㅇ?
-
비가오지말라해
-
야 너 4
화이팅해
-
3모 84 (미적 30번 틀 찍맞없음 ) 이었는데 미적은 올해 처음하는데요 저같은...
-
나 내가 못해서 행사 펑크낸거지 뭐 ㅠㅠ 누굴 탓하겠니 ㅠㅠ 허 ㅠㅠ 지방발령...
-
-
난불을질러 3
심장을 태워 널 미치게하고싶어 Big yeah we bang like this 모두...
-
이것은 한국 우주항공청에서 2045년 화성탐사를 목표로 하는데요. 성공하길 빕니다.
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.