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