"(1+1=2)가 참" 이라는 결론을 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
잠은 안 오네요
-
???☠️☠️??????????????? 간절 간절 간절 제발 제발 제ㅂ발
-
하나 못풀었을때 멘탈이 갈릴듯 96이 목표면 두개 못풀었을때 멘탈이 갈릴듯 92가...
-
학기중에는 바빠서 독서를 많이 못했네요..
-
솔직한 고백 12
처음 본 만화가 ts된 남자 둘이 사귀는 단편 만화였음 초3이었다..
-
아예모다겟음
-
22 국어 수학 진짜 불로 나온거 잘보고 오히려 탐구를 망쳐버려서 서울대 그대로...
-
확통 재밌는데 10
진입장벽도 거의 없고 개념이랄 것도 없고 발문 따라 케이스분류만 하면 되어서...
-
2만덕 드림 나군 밖에 안 될 거 같아서 나군 기준으로 합니다 최초합 ~ 예비...
-
비행기랑 빙고ㅆㅅㅌㅊ
-
"내년에도 화1 할래?"
-
건대
-
68 95 99.7 10
보통 신뢰구간 구할 때는 a=0.05를 쓰죠 점공에서는 예측 구간이라고도 합니다
-
얼버기 7
7시에 자서 지금 일어났음요 내일 긴 여정을 떠나야 하는데 큰일났다!!
-
더러운거 질색이에요;; 편의점 바퀴벌레때문에 관둠 쿠팡은 육체적으로 힘들어서 ..
-
-
쉽구만 ㅋㅋ
-
코인 ) 리플 흡성대법 ㄷㄷ 비트 100k 직전 ㄷㄷ 5
리 --- 맨 승리의 리플 홀더 소리질러 !!!
-
재밌어요... 현역(진)인데 말이죠
-
강기원T 수학 6
강기원T 수학 라이브 듣고 있는데 강의는 따라갈만한데 어싸가 너무 어려워요.. 고3...
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
결론을 부정하면
1+1≠2이면 2≠2이므로 모순
이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데
2의 다음수는 3.
2와 2는 같음(둘다 다음수가 3)
그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임
대우를 쓰면
그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
안녕하세요