1. 증명 19세기 말부터 증명이 무엇인지 많은 연구가 있었다 증명은 글로 쓰는 것이 아니라 '정확한 명제로 표현할 수 있는 것'이라는 것이 확립된 상태 보통 정확한 명제식으로 쓰지는 않지만 근본적으로는 명제식으로 바꿀 수 있는 것이 증명이다 증명에 대한 수많은 오해는 p ↔ q 와 p → q를 혼동하는 것에서 시작함 2. 당구공 paradox '모든 당구공은 색이 같다'에 대한 증명 당연히 색이 같을리 없지만 논리적으로 증명하고자 함 ------------------------------------------------------------------------------------------------------------ 수학적 귀납법) 모든 자연수 n에 대해 명제 P(n)이 참이라는 것을 증명하기..
1. 문제1 1) p: 0이 홀수이다, q: 미국에서 2080년 월드컵이 열린다. 명제식: p → q 참,거짓: '미국에서 2080년 월드컵이 열린다'라는 사실은 아무도 알 수없다 하지만 '미국에서 2080년 월드컵이 열린다'가 사실인지 몰라도 전체 p → q가 사실인지 아닌지는 알 수 있다 왜냐하면 p: 0이 홀수이다에서 0은 홀수가 아니므로 p는 반드시 거짓이다 가정인 p가 거짓이면 전체 p → q는 q의 참,거짓 여부에 관계없이 반드시 참이다 이를 많은 사람들이 받아들이지 못하지만 p → q가 참이어야 제대로 된 논리학을 만들 수 있다 https://deepdata.tistory.com/331 반드시 알아야하는 기초 논리학 - p가 거짓이면 'p이면 q이다'는 왜 참인가? 1. 공허한 참 'p이면 ..
딥러닝/머신러닝, 통계학, IT프로그래밍, 알고리즘을 좋아하는 사람 https://github.com/yundaehyuck
