이건어떰
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ㅈ반고 특 2
심화탐구=교과서 베끼기이나무위키 복붙하고 인공지능 넣었다고 이제 빅데이터만 넣으면 된다고 뿌듯해함
-
엉망징창 갈취하고 싶음 그래서 스스로 갈취함
-
전0
-
오늘의 야식 9
야식은 야한 식사의 줄임말이 아니래요
-
수능보다 좀더 높반 갈수 있을거같아서 넣으려는데 3합6기준에 3합3인데 6,9모로...
-
수능 백분위어느정도 나어셧나용
-
몇 점이냐 이게
-
-
보니까 올리기기능도 있더라 내가 만들어서 올리기도 가능하구나
-
아 시@@바@ㄹ 17
-
아직 약할때 새터를 가야지 개강한데 새터를 왜감
-
당근에서 싸게 올라와서요
-
대학 드가고 0
오르비하면 또 다른 세상일듯 빨리 졸업하고프다
-
진짜네
-
-
뫚퐐구홤 6
ㅇㅇ
-
특학,자대 관련해서 몇가지 여쭤보고 싶습니다 ㅠ 댓글달아주시면 감사하겠습니다
-
구랍니다
-
-
-
서울 올라가는데 2
길에는 눈 다 녹아서 ㄱㅊ은듯
-
https://humanbenchmark.com 단어기억 저 이기면 천덕 드림,,...
-
아오 이 돼지새@끼 13
몇분만에 이걸 다 쳐먹네
-
수학 과외 구합니다
-
강대 기숙 의대관 입소 할 예정인데 꿀팁들 있으면 알려주세요!!!
-
대학커뮤니티 노크에서 선발한 한양대 선배가 오르비에 있는 예비 한양대학생, 한양대...
-
페제로 다 봤다 4
-
ㄹㅇ 십 사기
-
닉넴 바꿨음뇨 10
자신감이 큰 남자라는 의미임뇨
-
영어 강의 3
필순가? 평가원 모고 낮1 나오는데 그읽그풀로 풀어서 좀 공부해야할거 같긴 한데...
-
현우진 커리타려는데 뉴런 수1~미적까지 다듣는게 낫나요? 3
18수능보고 수능 쳐다도안보다가 이번에 다시 시작하는데 뉴런 책 배송도 너무...
-
시발
-
수업 어땠나요? 난이도는 어느정도임요?
-
과외생이 존예/존잘이면 좋음?
-
과외글에 8
공통수학 미적분 기하 수1 수2만 가능하다고 그렇게 써놨는데 확통은 가능하신가요?...
-
-
나한테 피해는 안 주긴 하는데 아..
-
자 이제 덕코용돈 주세요
-
디시에 물어봐도 아무도모름ㅜ 이전회차 복영도 구매되는지 물어보고싶은데 시대...
-
다음 닉 7
20글자
-
이거 신고 못하나요
-
의대 휴학하니까 0
좋은 과외쌤 찾기는 쉬워진듯 도움 많이 받음
-
백분위 100 ㄷㄱㅈ
-
김과외 쓰나요? 24수 96 25수 100인데 시급 얼마가 적당할까요 조언부탁드립니다
-
쫄튀했는데 궁금
-
그런 놈이 여길 왜 다시 기어들어와? 저 가면 쓴 놈들이 456억을 안 줬다구요...
-
첫 알바를 시작할 경북대 25학번 신입생 여러분들께 전하는 알바 팁 안녕하세요,...
-
반동이다!! 전위대! 전위대!
-
오르비에 쭉쭉단 많은줄 알았네요
-
현생보다 0
오르비가 더 재밋음 인생 잘못 산듯함
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.