[Course]/SWAcademy1 [프로그래밍과 논리/수학] "직관과 논리는 구분된다" → 논리의 반복된 훈련으로 직관적 사고가 가능하다. → 직관은 빠른 판단의 장점을 가지나 자동반사적 판단으로 인해 특정 상황에서 오류를 발생시킬 수 있다. 직관(=Soft Logic) → Like, 논리적 느낌의 수준 논리(=Hard Logic) → 논리적 증명 (= 프로그래밍의 영역. 논리와 증명) ① 만약 0이 홀수라면, 미국에서 2080년 월드컵이 열린다 - P이면 Q이다. - P가 거짓 → 전체는 참 - 전제(또는 가정)가 거짓인 경우 전체는 참이다. ② 만약 18372748593842739 이 Prime Number라면, 2는 짝수이다. - 뒷부분(결론?)이 참 → 전체는 참 - 사실+사실 = 전체 참 // 거짓 + 진실 = 전체 참 ③ p와 q가 명제일때, p → q.. 2019. 9. 3. 이전 1 다음