离散数学知识点总结（2）-谓词逻辑

1、谓词与谓词公式 谓词：表示个体词性质或相互之间关系的词html 量词：用来表示个体数量的词是post 谓词的量化：给谓词加上量词 spa 一元目谓词P(x)、n元目谓词P(x, y, z, ...)它们是命题形式而非命题xml 由于既没有指定谓词符号P的含义，并且个体词x、y等也是个体变项而不表明某个具体的事物，从而没法肯定P(x)、P(x, y)的真值。 htm 仅当赋予谓词肯定含义，而且个

>>阅读原文<<