Propositional Function

술어계산 언어는 명제함수 및 항(Term)을 기본 구성 요소로 한다. 명제함수(proposition function)는 사물들의 관계를표현하기 위해 사용되는 함수이다. 항은 변수부호, 함수 부호, 상수부호로서 이루어진다.