"(1+1=2)가 참" 이라는 결론을 부정해도 무모순
게시글 주소: https://orbi.kr/00071315125
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
야생화 공동 작곡한 사람이 오징어게임 음악감독이네요 2
뒤에 피아노 치시는 분ㅇㅇ
-
애초에 표점 개후하게 주기 때문입니다 그거대로였으면 전 지금 한의예 뚫고 메디컬...
-
산에서 자빠져서 0
엉덩방아 찧음 ㅈㄴ미끄럽네 바닥이 푹신해서 아프지는않은데 ㅈㄴ미끄러움
-
고3 기숙사 살 때 아무도 터치를 안 하니까 밤새 오르비 유튜브 게임 반복했음 이게...
-
이건어떰 8
모순(A and not A)거짓 모순거짓 무모순참...
-
23수능 국4(73) 수5(58) 영3 물4(65) 화4(61) 24수능...
-
언매랑 화작은 각자 장단점이 있어서 중상~상 난도에 표점까지 별로 차이가 안 나는...
-
확실하고 치밀한 전략으로 대입 성공을 완성하라! 2026 N수 성공전략 통합 설명회 0
2026학년도 대입을 준비하는 재수생 및 N수생을 위해 메가스터디학원에서...
-
생각보다 잘해주시네.. 만족스러워요
-
아니 블아 말고 아블 달라고요 ㅅㅂ 참고로 전 블아 안 하는 비흡연자임뇨
-
화통사탐으로 연높공 합격하는 점수가 어느정도 일지 궁금함
-
신종 플러팅 2
내일 써본다
-
사탐런 1
목표는 잘몰겠지만 일단 스카이 이상 25수능 32213 (화1지1) (국어개못함,...
-
본인은 국어,영어 성적이 압도적이고 수학,과학 말아먹었는데 취직이랑 재미 때문에...
-
성대 한교 1
644.46 가능?
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
결론을 부정하면
1+1≠2이면 2≠2이므로 모순
이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데
2의 다음수는 3.
2와 2는 같음(둘다 다음수가 3)
그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임
대우를 쓰면
그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
안녕하세요