이건어떰
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
레어 잘못 샀다 1
아악 내 만덕이..
-
늦은 저녁입니다
-
총액 200만덕
-
메디컬이던데 2023년도에 비해서 2024년도에 엄청 돌았던데 뭐 때문일까요?
-
고려대 건축사회환경공학부 (고대 건사환) 가능할까요? 0
지금 39명 중에 25등인뎁... 21명 뽑아요... 4차 추합이라도 괜찮으니 갈 수 있을까요...
-
내가 사거 싶은거 못사고 이상한거만 사짐
-
에혀.. 이 븅갓같은 세상에 인정받으려는 거 자체가 개짓이다 3
븅갓같은 세상..
-
진짜 백분위마저 변동없이 '오르지 않는 과목'
-
코딩노베도 1
컴공가도 되나요?? 만약가면 가기전에 좀 공부하고,배우고가려는데
-
ㅇㅈ 9
-
문학 황님들. 0
문학 맨날 3~4개 틀리는데 공부 어떻ㄱ ㅔ 해야하나요...?
-
(서울대 합격 / 합격자인증)(스누라이프) 서울대 25학번 단톡방을 소개합니다. 0
안녕하세요. 서울대 커뮤니티 SNULife 오픈챗 준비팀입니다. 서울대 25학번...
-
그럼 투표 결과 6
수학 하는걸로 할게요 공수2 올려봄 이따
-
2m 여친 사귀기
-
수2도 해야겟지 6
햐 노잼과목..
-
화2 학습중 1
대학이 안걸리니 은근 재밌음
-
2년반만에 찾아온 기회입니다 다들 레어 사가세요
-
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
고경제 교과 1
고경제 교과우수도 펑인가요?
-
근데 비싼건 왜케 비싼거죠?
-
Tomboy 위잉위잉 와리가리 Ohio Love ya! Paul Hooka New born
-
오르비 오래 하고 볼 일이네
-
아 씨발 6
스키마 레어 똑같은걸로 ㅈㄴ싼거 있었어 충동구매의 폐해....
-
근데 왜 빨리 읽어? 빨리 읽으니깐 내용 파악이 안되는거야 그러니깐 몇 번씩...
-
전 락스타 호소인이 아닙니다ㅠㅠ
-
https://orbi.kr/00071495666 전문적인건 전혀못하는데 그냥...
-
건동홍숙이라더니 국민대, 숭실대하고 비비네
-
개인적으로 확통 난도가 미적보다 훨씬 높지 않음? 13
본인은 그렇게 느낌 ㅇㅇ 확통은 실수 한번하면 끝나는거 아님? 주관신 의믄사도...
-
부탁. 드립니다.
-
수능 준비하던 시절이 그리운 것일 뿐이지만
-
나 드디어....잊혀졌구나
-
레어 샀는데 7
이쁘긴 한데..... 이거 어따 쓰는겨
-
https://orbi.kr/00071500944/%255B%EC%A7%80%EA%B...
-
그 채점이랑 모의지원 안했는데 지금도 찡찡거리면 받아줘요?ㅠ
-
오르비 와서 보니까 이게 고트였던걸 알게됬네
-
나를 써줘 6
써줘써줘써줘써줘써줘
-
진지하게 친구가 거의 없음 어케된걸까싶네 하….이정돈 아니였는데
-
님들 할거 투표좀 11
코딩 <<< 무저건 해야함 수학 <<< 그냥 하면 재밋긴함
-
국어 써줘 3
써줘써줘써줘써줘써줘써줘
-
오히려 좋?아
-
나였어도 찐따 과외쌤한테는 과외 안 받을거같아서 과외슨상 찐따라 싫다하는 글에 할말이없어
-
한양의 ㄱㄴ?
-
앞뒤 다 자르고 다짜고짜 소설 시작하는거 개빡침
-
빰빰빰빰
-
컨설팅 팀이 자기만을 위해 존재하지 않는다는 거임 팀이 받은 비슷한 성적대의...
-
이딴게 어딨어
-
사탐런 할말 3
일단 23수능 성적이고 국어는 백분위 96이상 안정에 수학은 평소 92 밑으로...
-
다들 백분위 100 찍고 쓰길래 약간무서움뇨 국어칼럼쓰고싶은데 아 물론 주제는 아직 생각안함
-
수능 1년도 안남았는데 진짜 개좆됬네 정신연령이랑 능지는 중딩때랑 똑같은데 ㅋㅋㅋㅋㅋㅋㅋ
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.