个体常项:指具体或特定的个体的词,用小写字 母a,bc….,表示。 个体变项:表示抽象的或泛指的个体的词,用X% z….,表示。 个体城:个体变项的取值范围,又称论域。 全总个体域:当无特殊声明时表示宇宙间的一切 事物组成的个体域
个体常项：指具体或特定的个体的词，用小写字 母a, b, c,……，表示。 个体变项：表示抽象的或泛指的个体的词，用x, y, z,……，表示。 个体域：个体变项的取值范围，又称论域。 全总个体域：当无特殊声明时,表示宇宙间的一切 事物组成的个体域
谓词常项:表示具体性质或关系的谓词,用大 写英文字母F,G, 表示 谓词变项:表示抽象的或泛指的性质或关系的 谓词,也用大写字母表示。 般根据上、下文区分常项与变项。 个体变项項!有性质F:记作F(x 个体变项X與有关系L:记作L(xy 将(1)、(2)两命题符号化:
谓词常项：表示具体性质或关系的谓词，用大 写英文字母F，G，……，表示。 谓词变项：表示抽象的或泛指的性质或关系的 谓词，也用大写字母表示。 一般根据上、下文区分常项与变项。 个体变项x具有性质F：记作F(x) 个体变项x、y具有关系L：记作L(x,y) 将(1)、(2)两命题符号化：
(1)√2是无理数 (性质) F(x):x是无理数,a:√2(1)可表示为F(a) (2)小李比小赵高2厘米 (关系) H(x,y):x比y高2厘米 a:小李,b:小赵 (2)可表示为:H(a,b)(但不是H(b,a)
(1) 2 是无理数 (性质) (2) 小李比小赵高2厘米 (关系) F(x) : x 是无理数, a : 2 (1)可表示为F(a). H(x, y) : x 比 y 高2厘米 a : 小李， b : 小赵 (2)可表示为： H(a, b)(但不是H(b, a))
元数:在谓词中所包含的个体词数。 n元谓词:含n(n≥1)个个体词的谓词, 可用D(x1X2……,xn)表示。 一元谓词表性质; 二元或更多元谓词表关系
元 数：在谓词中所包含的个体词数。 n元谓词：含n(n1)个个体词的谓词， 可用D(x1 , x2 ,……，xn)表示。 一元谓词表性质； 二元或更多元谓词表关系
0元谓词:不含个体变项的谓词 如:a为2,b为3,L(a,b)是0元谓词。 例21.将下列命题用0元谓词符号化 (1)2是素数且是偶数 (2)如果2大于3,则2大于4 (3)如果张明比李民高,李民比赵亮高 则张明比赵亮高
0元谓词：不含个体变项的谓词 。 例2.1. 将下列命题用0元谓词符号化 (1) 2是素数且是偶数 ； (2) 如果2大于3，则2大于4 ； (3) 如果张明比李民高，李民比赵亮高， 则张明比赵亮高 ； 如：a为2，b为3，L(a，b)是0元谓词