| 释义 |
复合谓词 compositional predicate 含有一些自由个体变项的合式公式。例如：“(∃u)(p∨S(x，y，u))。”由于其值随自由个体变项之值而定，因之公式也可看作是其中某些自由个体变项的谓词。当看作为x的谓词时，其名式(显示谓词结构的表达式)为： (∃u)(p∨S(Δ，y，u))。 当看作为两个个体x和y，或y和x的关系时，名式分别是：(∃u)(p∨S(Δ1，Δ2，u)); (∃u)(p∨S(Δ2，Δ1，u))。 其中Δ，Δ1，Δ2是个体变项的语法符号。一般地用语法符号B(Δ1，Δ2，…Δn)(n>0)表示一n元复合谓词，其中自由个体变项的值不必不相同， 也不必按Δ1， Δ2，…Δn的次序。 |