이건어떰
게시글 주소: https://wwww.orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ㅎㅎ
-
이미지 써준다 31
좀처럼 오지 않는 기회
-
04아가 등장이오 10
04도 아가야
-
는 가요무대 1985년 11월 4일부터 2025년 1월 20일 현재까지 총...
-
07이 아가임? 2
나 아가 아님
-
반갑소
-
2백 2볼란치 양쪽 윙미로 웡미는 수비적인 풀백 출신 애들이 좋음뇨 리제라던지...
-
서점가서 공대 전공서적 보자마자 마음 접음
-
이래서 현역때 실패한건가
-
이랄게 있나 。◕‿◕。
-
1/22: 화법과 작문, 생활과 윤리 (All 출시완료) 1/23: 언어와 매체,...
-
모르는 사람은 첫인상으로 대체
-
이미지 써주세요 6
-
질문 있으면 바로 설대친구나 오르비에 던져두기
-
전과자 서울교대 편에서 수업 중에 앞에 나가서 학생들이 초등학생이라고 가정하고 모의...
-
원래 몇시간 내내 상주하는 곳이 맞나요?
-
잠에 들어버리는 걸까
-
고추 1
고추
-
나는 홍대 법대 붙여달라고 소원을 빌거야
-
설교대좋긴해 4
위치좋음ㅇㅇ
-
야심한 새벽 0
오뿌이는 맞팔을 할 사람을 찾아나서는데...!
-
한번은 이미지쌤이 너무 돌아가는 풀이 하길래 이렇게 바로 풀면 안되냐 물어봤었고...
-
이건 돈 추가로 징수하기도 뭐하고 그냥 해줘야할 것 같네요... ㅋㅋ
-
걍 여기서도 비슷하게 하는거같아요 ㅋㅋ
-
그냥 욕한 기분인데 뭐지
-
눈을 감아보면 0
별은 영원히 빛나고 잠들지 않는 꿈을 꾸고 있어
-
너 말하는거야 너. 이렇게 늦게 자서 아침공부는 어떻게 하려 그래. 빨리 자.
-
평소말투랑 똑같은거같은데
-
나도 qna 0
이때 아마 고2였을거임
-
농사는 서브컨텐츠다 ㄹㅇ로
-
응원합니다 (현수막 끝까지 잘 읽으세여)
-
댓글 보는 거 재밌었는데ㅋㅋ
-
??
-
체스하실분 2
ㄱㄱㄱ 씹 노베임 이제 규칙 알음
-
오늘 먹을 저메추
-
댓글 달아주세여
-
국어 2~3 진동하다가 24 수능부터 98 이상은 계속 나오는데 인강이나 사설...
-
차단당하면 안 되는데
-
나한테 관심있어?? 。◕‿◕。
-
07인데 다 형누나라고 불러야되나 이거 으악
-
오르비에서 원래 내 말투로 말함..
-
너물린거야 4
흐흐흐
-
새벽 2시 4
3대욕구의 카오스 하지만 왜인지 오늘은 셋 다 나를 끌어들이지 않는군
-
암거나 ㄱㄱ용
-
새터 신청 0
정시 추합되면 새터 신청 기간 끝나있을 거 같은데ㅜ 그럼 아예 못가는거예요? 절대안받아주나ㅜ
-
예 더 말하면 여기서 전 잘립니다
-
배고파요 3
-
쎈- 시발점? 0
쎈b 한단원에 네다섯 문제 정도 빼고 수월하게 푸는데 시발점을 해야 할까요..?...
-
공대맞음? 3
융합바이오신소재공학과 이름은 공학과고 소속은 생명과학대학인데 이거 공대라고 치는거임?
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.