高等学校21卌纪教材 2.原子谓词公式 原子命题的谓词形式还可以进一步加以抽 象,比如在谓词右侧的圆括号内的n个个体常元 被替换成个体变元,如x1x2…xn,这样便得了 种关于命题结构的新表达形式,称之为n元原 子谓词。 定义21.3由一个谓词如P和n个体变元 (如x1,x2,…,xn)组成的Px1,x2,…,xn), 称它为n元原子谓词或n元命题函数,简称n元谓 词。而个体变元的论述范围,称为个体域或论 域。 PT PRESS 人民邮电出版社２.原子谓词公式 原子命题的谓词形式还可以进一步加以抽 象，比如在谓词右侧的圆括号内的n个个体常元 被替换成个体变元，如x1 ,x2 ,···,xn，这样便得了 一种关于命题结构的新表达形式，称之为n元原 子谓词。 定义2.1.3 由一个谓词(如P)和n个体变元 (如x1，x2，…，xn )组成的P(x1，x2，…，xn )， 称它为n元原子谓词或n元命题函数，简称n元谓 词。而个体变元的论述范围，称为个体域或论 域