离散数学-4 一阶逻辑基本概念

   

   

   

个体常项：表示具体或特定的客体的个体词，用a, b, c表示

个体变项：表示抽象或者泛指的个体词，用x, y, z表示

个体域(论域)——个体变项的取值范围

有限个体域，如 { a, b, c}, {1, 2}

无限个体域，如 N, Z, R, …

全总个体域——由宇宙间一切事物组成

谓词——表示个体词性质或相互之间关系的词，常用F,G,H等表示。

谓词常项 表示具体性质或关系的谓词。 如, F(a)：a是人

谓词变项 表示抽象的或者泛指的性质或关系。如, F(x)：x具有性质F

n（n1）元谓词

含有n(n1)个个体变项x₁, x₂ ,…, x_n 的谓词P称作n元谓词，记为：P(x₁, x₂ ,…, x_n )

一元谓词(n=1)——表示性质, P(x₁)表示x₁具有性质P

多元谓词(n2)——表示事物之间的关系，P(x₁, x₂ ,…, x_n )表示x₁, x₂ ,…, x_n 具有关系P。

如, L(x,y)：x与 y 有关系 L，L(x,y)：x