chapter 1. The Foundations: Logic and Proofs 1.4 Predicates and Quantifiers Propositional Logic Not Enough "모든 사람은 죽는다." "소크라테스는 남자다." ☞ "소크라테스는 죽는다" 명제 논리(Propositional Logic)로는 이러한 추론을 나타낼 수 없다. 따라서 사물, 그 속성, 그리고 그 관계에 대해 말하는 언어가 따로 필요하다. Introducing Predicate Logic 술어논리 도입 술어 논리는 다음과 같은 새로운 기능을 사용한다. 변수(Variables): x, y, z 술어(Predicates): P(x), M(x) ☞술어논리에서는 변수가 들어간 형태를 허용. 명제 논리의 논리식은 변수를 포함..