"(1+1=2)가 참" 이라는 결론을 부정해도 무모순
게시글 주소: https://orbi.kr/00071315125
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
나 근데 독서 4
수행평가때문빼곤 3년간 1권도 안읽은듯 ㅅㅂ그래서 내가 2인가
-
확통 사탐으로 인서울 대부분 뚫린다는 거 방금 알게 됐는데, 현역이 학교 다니면서...
-
과학은 여기에서 완자로 진도 나가는데 퇴원하고서는 완자 물 화는 다 끝나있을듯...
-
약 먹는 동안은 이 시간에 밥을 먹으면 안되겠어요...
-
두명만 더 채워줘요.... 10의 배수여야 마음이 편해요
-
생윤 강의에서 학교 다닐때 어떤 학생이 나이키 신발 훔쳐갔대요 ㄷㄷ
-
청불영화 추천좀 4
고어말고 선정적인거 오늘 히든페이스 봤는데 너무 좋았음.
-
아 물론 일론 머스크, 이재용 등 자본가나 금수저가 더 좋지만 제가 노력으로 이룰...
-
. 11
천가 왜 올라가 ㅠㅠ 내려가라 좀
-
일단 이 글을 쓴 이유. 메가스터디 지인추천카드- 기숙,러셀 10%할인 가능...
-
올해안에 되긴할려나
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
결론을 부정하면
1+1≠2이면 2≠2이므로 모순
이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데
2의 다음수는 3.
2와 2는 같음(둘다 다음수가 3)
그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임
대우를 쓰면
그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
안녕하세요