谓词变量_酷词

在一阶逻辑中，谓词变量是表示(在项之间的)一个关系的谓词字母，这个关系还没有被特殊的指派任何特定的关系(或意义(内涵))。在一阶逻辑(FOL)中它们可以被更合适的到叫做"元变量"。

更多句子>>>