이건어떰
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
차단목록봤는데 0
진짜 엄청난 공통점이있음 최근 쓴 글 5개가 다 의대증원 관련글임
-
네
-
LCK) 이것은 루와와인가, 사슴인가? | LCK 위클리 매드무비 WEEK1 | 2025 LCK CUP 그룹 배틀 1
마지막 클립이 딮기입니다
-
만화카페 4
내일 가기로 했는데 가서 어떤거 봐야함?
-
마이린 대학가면 6
교수님몰래 라면먹기같은거 할라나 ㅋㅋㅋ
-
주소비층이 학생일텐데 차라리 뉴진스 지지글 올리지
-
내 축구 세계관은 아직 21/22에 머물러있음ㅋㅋㅋㅋ 새로 사야되는데 플스4라 5...
-
동대생 소환술 4
"정각원? 정각 알려주는 곳임?" "돈꾹대학교(DON GGUK)" "동대?...
-
코코낸내 5
-
대충 제목만 쓰윽 흝어보고
-
좋은 기능을 낭비하고 잇다는 생각이 들엇음
-
내가너무 지잡을 가서 그런가 웬만한대학은 다 ㅈㄴ잘간거 같음
-
아이린은 아는데
-
이 몬난놈아..
-
중앙대랑 외대는 서로 다른 의미로 중경외시 아니고 건대는 건동홍 아님
-
차단을 왜함? 8
걍 오르비로부터 나를 차단하면 되는거아닌가
-
차단목록 ㅇㅈ 5
이 사람 누구지? 기억도 안 나네
-
겨우 샀다 11
서버 대기 지긋지긋한거
-
당연히드립 2
으하하
-
3000억주고 영입함 ㅋㅋ 이적명단으로 안고치면 5000억 줘도 안팔더라 첼시 씹새들
-
의사 연봉과 개원에대해서요
-
단국대 합격생을 위한 노크선배 꿀팁 .새내기를 위한 어플리케이션&사이트추천 0
대학커뮤니티 노크에서 선발한 단국대 선배가 오르비에 있는 예비 단국대학생, 단국대...
-
과탐 회생방안 2
1. 존예 존잘강사 영입하고 수업마다 명언 10분 오구오구 5분 진행 2....
-
구라치지마..
-
강기분 0
25강기분이랑 26강기분 큰 차이 있음? 작년꺼 들어도 됨?
-
건대생 소환술 12
"야 너희 교양 들으려면 ㅈㄴ 뛰거나 호수 헤엄쳐야한다며? 철인3종 준비해도 되겠다...
-
내 차단목록 특 9
테1무 논란 머시기로 절반 이상 채워져있음
-
https://orbi.kr/00038429389
-
다른건 물리학 화학 생물학 이런데 지구과학은 왜 지구학 아니고 지구과학일까
-
FM) 아니 강등됐으면 선수 가격 싸져야하는거 아니에요?? 26
왜 580억이야?????
-
위에서 부터 세는 게 가능한 라인이거든 그리고 그게 가능한건 현재 시xxx 밖에없음...
-
어제 수1 풀다가 가형 10번에 막히고 울뻔했어요
-
덕코좀 다오 6
제발..
-
오르비 화력뭐임 ㄷㄷ 아까도 보니깐 제대로 한판 붙던데
-
있음뇨?
-
까먹었는데
-
록목단차 9
솔직히거의다누군지기억안남
-
아무도 차단안했습니다 단 1명도 ㅋㅋ
-
낭만젊음사랑 2
.
-
확통아 4
아..
-
차단목록 ㅇㅈ 8
-
외대생 소환술 10
"외동홍" "건대 호수에 퐁당!" "부엉이 별로던데" "사이버관 원툴 ㅋㅋ"
-
각자 부모님 한분 수능치게해서 인원수 두배로 늘리고 한줄로 밀어달라고 하면 우리는...
-
차단목록 ㅇㅈ 2
Null
-
오늘 다 봤는데... 여운이 미쳤노...
-
열심히 준비하면 28수능 공통과학 킬러대비 ㅆㄱㄴ이다
-
차단목록 인증 11
따봉도치야 고마워
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.