이건어떰
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
구제역과 카라큘라[유튜브 캡처] [헤럴드경제=김성훈 기자] 유명 유튜버 쯔양(본명...
-
글 많이 밀었음 7
휴...
-
노래방 갈까 말까 17
혼코노 쿨타임 돌았음
-
옯스타 만듦 14
진짜 디엠하실분만 알려드림
-
이거 뭐임? 7
갑자기 거금의 덕코가 들어온건 레어 뺏긴거임?
-
생2 써줘 5
응
-
10명이하모집과쓰신분잇나여
-
애미없네 진짜
-
빨리 인강으로 개념 떼고 문제 풀어야하는데 2분에 한 번 씩 들어오게 돼서 돌겠어요...
-
음 맛잇고만 3
-
국어는 고능아가 너무 많고 영어는 수요가 없구나
-
고대 발표 1
내일 맞음? 나온다면 몇시?
-
보만다지진 4
??
-
여캐일러 투척 6
ㅇㅇㅅㄱㅇㄱ
-
레어 잘못 샀다 1
아악 내 만덕이..
-
N년 전에도 너무 많이 풀려서 별로라는 소리 나왔는데 이건 뭐야..
-
늦은 저녁입니다
-
총액 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년반만에 찾아온 기회입니다 다들 레어 사가세요
-
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
고경제 교과 0
고경제 교과우수도 펑인가요?
-
근데 비싼건 왜케 비싼거죠?
-
Tomboy 위잉위잉 와리가리 Ohio Love ya! Paul Hooka New born
-
오르비 오래 하고 볼 일이네
-
아 씨발 6
스키마 레어 똑같은걸로 ㅈㄴ싼거 있었어 충동구매의 폐해....
-
근데 왜 빨리 읽어? 빨리 읽으니깐 내용 파악이 안되는거야 그러니깐 몇 번씩...
-
전 락스타 호소인이 아닙니다ㅠㅠ
-
https://orbi.kr/00071495666 전문적인건 전혀못하는데 그냥...
-
건동홍숙이라더니 국민대, 숭실대하고 비비네
-
개인적으로 확통 난도가 미적보다 훨씬 높지 않음? 12
본인은 그렇게 느낌 ㅇㅇ 확통은 실수 한번하면 끝나는거 아님? 주관신 의믄사도...
-
부탁. 드립니다.
-
수능 준비하던 시절이 그리운 것일 뿐이지만
-
나 드디어....잊혀졌구나
-
레어 샀는데 7
이쁘긴 한데..... 이거 어따 쓰는겨
-
https://orbi.kr/00071500944/%255B%EC%A7%80%EA%B...
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.