술어
객체들의 속성이나 객체 간의 관계를 나타내는 함수적 표현이다. 하나 이상의 항을 인자로 받아 참(True) 또는 거짓(False)의 진리값을 반환하며, 1차 논리에서 원자 공식을 구성하는 기본 단위가 된다.