複合謂詞

複合謂詞(compositional predicate)含有一些自由個體變項的合式公式。例如:“(u)(pVS(x,y,u))”。由於其值隨自由個體變項之值而定,因之公式也可看作是其中某些自由個體變項的謂詞。

相關詞條

熱門詞條

聯絡我們