复合谓词

复合谓词（compositional predicate）含有一些自由个体变项的合式公式。例如：“（u）（pVS（x，y，u））”。复合谓词（compositional predicate）含有一些自由个体变项的合式公式。例如：“（u）（pVS（x，y，u））”。由于其值随自由个体变项之值而定，因之公式也可看作是其中某些自由个体变项的谓词。