이건어떰
게시글 주소: https://iu.orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
부엉이가 쏘아올린 존나게 큰 공
-
윤도영 팩폭 ㅈㄴ박음 정시 쉽지않은거 ㄹㅇ
-
오르비에선 찐따라 맞팔이 필요해요
-
델타메일입니다 1
반갑습니드ㅏ
-
어쩌다 이렇게 꼬인건지 감도 안 잡힘
-
오늘 너무 오르비에 안들와서 요약이 필요함
-
눈 인증 1
할까 말까 새르비인데 아무도 안하네
-
확통 조음? 2
??
-
묶어줘 2
밧줄로 묶고 수갑채워주어ㅓㅓ어엉
-
ㅇㅇ?
-
개부럽네요
-
인증할까? 7
라고 생각했는데 무쌩겨서 안해
-
대학생활이나 입시 등등 아무거나
-
반갑습니다 아무도 나랑 어몽어스 안해주더라고
-
정벽 잘생겼을거 같더라 15
난 ㅇㅈ 못보긴했는데 부엉이가 저렇게까지 할 정도면 대충 예상이 감
-
캬캬 수능국어 만점을 쟁츼하자
-
살인에 소질이 으흐흐
-
사륜안, 윤회안 이구나
-
안녕하세요 현재 고2 이고 수1은 삼각함수 수2는 연속 까지 나갔는데 인강으로...
-
응애ㅐㅐ 1
뱃지가 달렷나요오오ㅗ오오옹옹오ㅗㅇ
-
축구 농구 롤 안하고 한국노래는 전혀 안듣고… 오징어게임 흑백요리사 같은거도 안봐서...
-
투투 해도되는거 맞겠지
-
난 멍청이야
-
안되면 이의 제기함
-
넘 뒷북임? 메타 뭐에요?
-
ㅇ
-
당당하게 걷기 0
-
나도
-
이제 나이상으로는 고2 올라가는 나이고 수능은 24,25수능 응시했습니다 25수능은...
-
갤주의 영압에 밀리고있어 따흙 뭐 이정돈 다들 느껴본 감정이겠지...
-
서연고-서성한-중경시-건동홍-인아부경-곽숭국숙 순이네요. 중앙대, 건국대, 경북대,...
-
에휴이
-
수학 확통 노베 0
예체능하다가 인문으로 틀려고 하는 재수생 입니다 수학은 고1을 마지막으로 아예...
-
이건 동국인가요? 동국대는 가면 상경 전과 or 복전 노릴듯 아주대는 그냥...
-
드디어 뱃지를 2
호호 신나네요..^^
-
님들 기대되지 않ㄴ아요? 오르비 그림0타가 그리는 팜하니 ㄷㄷ
-
내가 원하는 피지컬은 196/100 정도인디
-
저번에 도쿄에서 먹은거 맛있었는데
-
다즈비 펀치! 다즈비 펀치!
-
40분 동안 그린 건데도 안닮아서 미안타
-
사실무근입니다. 8
사실 연근입니다.
-
예비고1인데 배기범 통과 하려고 함 어떰?
-
하 ㅅㅂㅂ
-
완결됐어요... 슬퍼요
-
예비고3 확통도 문제풀다가 나중에 무너질것같아서 시발점도 듣고있는데 확실히 한 번...
-
감사합니다
-
연고 중간공(신소재.기계.화공) vs 서성한 (반도체 계약학과) 어떤게 더 나은...
-
루시드 이놈 왜 쵸비랑 노래실력이 맞먹는거냐 물론 쵸비가 노래를 잘한다는 말은 없습니다
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.