이건어떰
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
기하하니까 0
멍청이가 떠오르네
-
민우씨 회당 출연료 5000만원 주사면 나가 드릴게요 ㅋㅋ
-
-
성인되어서 진짜 남들한테, 친구한테, 부모님한테도 절대 말 못할 고민이 생겨서...
-
개념은 학원 다니면서 하고 있습니다. 그래서 미적 개념 바로 다음 강의 들을...
-
해볼까??.. 8개월 정도 사겼어 그때는 얘랑 연애하는게 솔직히 좋게표현하면...
-
복전에 포토샵과 에펙 수강할 수 있는 수업이 있었다 0
애니메이션 동영상 제작 해보는게 버킷리스트 중 하나라 심장 쿵덕대는중
-
어어 기침난다 3
독감은 아니어야 한다...
-
RE즈이면서 S성향 소유자. 여왕님 ⬅️ 동시에 면전에서 질문받음. 너 M이냐고...
-
확통은 개정 이후껀 아얘 안 풀어봄 골수 미적러다 이거야
-
예비고3 언미물생인데,, 고2모고 기준으로 국영탐탐은 1컷, 수학은 백분위...
-
그냥 들어. 1
에메 신곡 많관부.
-
중대ict 0
몇바퀴 예상하시나요 353인데 붙을 확률 몇임?
-
이렇게생긴 우리같은 옯붕이1 뽑아놓으면 조회수나오겠음?
-
오랜만에 허접 그림 올립니당... 그림 연습도 할 겸 오르비하다 재밌는 게시글...
-
미기확 2
3도류 드가자
-
-
서울대식 - 인문 361.8 자연 362.3 연세대식 - 인문 646.75 자연...
-
무진기행 0
충격적이네
-
-
확통 재밌는데 10
진입장벽도 거의 없고 개념이랄 것도 없고 발문 따라 케이스분류만 하면 되어서...
-
신종 플러팅 2
내일 써본다
-
난 왜 중등 수학 과외 보다 고등 수학 과외가 더 편하지... 2
이거 저만 그런가요..?
-
졸려요 4
졸려요 으억
-
사회적 지능이 낮은 사람들은 대체 왜 그러는 거임?? EQ 박살난 사람들은 내가...
-
진짜 다들 진심으로 하눈 말임..? 남자 여자 다 예쁘장 하게 생겼다 ㅇㅈ인데 이게...
-
이건 좀 혹하는데
-
그냥 쎈이나 자이 가지고 과외하려고 했는데 조금 눈치보이네요
-
난 뭔가 0
사탐9과목 과탐 8과목 미적분기하 다 해보고싶음
-
역대 대통령에 비해 윤씨는 먼가 시간이 지나도 혈색이 계속 좋아보이는데 그냥...
-
PH 중화반응 식초 기체추론 동위원소 양적관계 몰농도 산화수 짜맞추기 등등...
-
숙대랑 숭실 수시 어문계열로 둘 다 붙었는데 로스쿨 쪽 생각이 있어서 숙대...
-
펀다멘탈예쁘다 0
-
보통 쉬운 편임 다 주어져 있을 확률이 높은 거라
-
학벌을 떠나서 지능이 낮은 사람은 진짜 만나기가 쉽지 않음 근데 학벌이 어느정도의...
-
정작 이름만 알고 대화는 한번도 안해봤다 이런 경우가 있을까요?
-
면학실에서 아침 공부하다가 쥐를 보았어 바퀴와 돈벌레는 기숙사 바닥에서 여럿...
-
아침저녁으로 4시간씩 끊어서 두 번 자네요
-
재밋는 미연시 게임 중 13
두근두근 문예부
-
7등급이었다는데 재수로 올려놓고 반수한건가 흠
-
인하공전 항공운항과 스튜어디스 지망생 분들이라 키도 크고 외모도 ㄷㄷ
-
진드기나 개미같은 작은 벌레가 더 무섭던데
-
사귀다가 군대가면 좀 그럴거같아
-
학벌좋고 외모좋고 성격좋은 사람들 꽤 있음 ㅇㅇ..
-
얘 내년에 입을 과잠을 내가 선택한다고 생각하니까 소홀히 할 수가 없음 ㅋㅋ
-
68 95 99.7 10
보통 신뢰구간 구할 때는 a=0.05를 쓰죠 점공에서는 예측 구간이라고도 합니다
-
제목 그대로 입니다. 문닫고라도 들어갈 수 있을까요?
-
대학을 더 잘가던데 ㄹㅇ루
-
기차에서 잠안올것같은데 유튜브영상보면 멀미나나여?? 기차별로안타봐서몰라여..
-
벌레 ㅈㄴ 싫음 5
그냥 순간 몸이 굳고 패닉 옴 극복불가능 극복한 사람 있음?
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.