Soft Logic 직관: 논리적인 느낌을 주는 것 특징: 빠르지만 정확하지는 않다. 착각을 일으킨다. 일상에서 유용한다. 어떤 의미인지 모두 알고있다고 가정하고 접근한다. Hard logic 논라: 프로그래밍 언어 표현들이 논리학에서 나온 것. 알고리즘을 이해하기 위해 hard logic이 필요하다. 결론 Soft logic으로 알고리즘을 이해하는 것은 어렵다. 직관은 한계가 있으므로 증명을 통해 접근한다. 명제 기본 개념: 가정이 거짓이면 명제는 늘 참이다 / 결과가 참이면 전체 명제는 늘 참이다. 기호: ' ~ ' 은 NOT / ' ∨ ' 는 OR / ' ∧ ' 는 AND 의 뜻을 가진다. *Or 의 관계인 경우 = inclusive, 택 일의 관계인 경우 = exclusive or 역/이/대우 :..
