왜 Quantificational Logic이 필요한가?명제 논리(Propositional Logic)로는 "모든 학생은 똑똑하다" 같은 문장을 표현할 수 없다. 명제 논리는 p, q, r 같은 개별 명제만 다룰 수 있어서, "모든"이나 "어떤"처럼 집합 전체에 대한 말을 못 한다.Quantificational Logic(양화 논리)은 명제 논리를 확장해서 이런 것들을 다룰 수 있게 해준다.Objects: 학생, 숫자, 컴퓨터 등Properties: "암탉이다", "소수다" 등Relations: "x는 y를 사랑한다", "x > y" 등핵심 구성요소 1: Predicate (술어)Predicate는 변수를 받아서 True/False를 돌려주는 함수 템플릿이다. 변수에 값을 넣으면 비로소 명제가 된다.H(..