整形式の論理式の中で、
真偽が一定であるものを「命題」、
真偽が変項の値に依存するものを「述語」
と言う。
定数関数が関数の一種であるように
命題も述語の一種であるが、
命題ではない述語も当然ある。