명제 참 또는 거짓만을 값으로 가질 수 있는 문장이다. 무조건 서술문이고 참 거짓 판별이 가능해야 한다. 예를 들어, "울릉도는 섬입니까?"와 "치킨 먹는 것은 참이다."는 명제가 될 수 없다. 전자는 서술문이 아니고, 후자는 참과 거짓을 판별할 수 없다. 아래는 명제기호이다. P -> 자동차엔진이 고장이다. Q -> 운전할 수 없다. P -> Q 자동차엔진이 고장이면 운전할 수 없다. 논리 논리는 명제논리와 술어논리로 나눌 수 있다. 명제를 이용한 논리는 명제논리, 이는 개별 요소를 표현할 수 없다. 이를 다음과 같이 표현한다. P (∃y[woman(y)∧loves(x,y)])] 추론을 거쳣더 결론을 내려면 단일화가 필요하다. 이는 두 개의 술어논리문장을 합성할 때 필요한 절차다. 두 개를 합성할 때 ..