무브
오르비
아톰
내 태그 설정
쿠쿠리 [1310649] · MS 2024 · 쪽지
게시글 주소: https://video.orbi.kr/00071315125
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
쪽지 보내기
알림
스크랩
신고
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2 결론을 부정하면 1+1≠2이면 2≠2이므로 모순 이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데 2의 다음수는 3. 2와 2는 같음(둘다 다음수가 3) 그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임 대우를 쓰면 그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
2026 수능D - 288
중하위권의 히든카드, 인서울 상위권 입성을 위한 key를 제시합니다
[2개월 커리큘럼: 확실한 등급 상승] / M사 최인호T 조교 출신 / 현직 학원강사 / 대학생토론대회 우승자
현역 서울대생
24수능 미적분 1등급 / 항공대 수리논술 수석
국제고•고려대 경제/국어 수학 전문
성적향상 전문
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
결론을 부정하면
1+1≠2이면 2≠2이므로 모순
이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데
2의 다음수는 3.
2와 2는 같음(둘다 다음수가 3)
그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임
대우를 쓰면
그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
안녕하세요