高等学校21卌纪教材 定义212一个原子命题用一个谓词(如P 和n个有次序的个体常元(如a,a2,…,an)表 示成P(a1,a2,…,an),称它为该原子命题的 谓词形式或命题的谓词形式。 应注意的是,命题的谓词形式中的个体出 现的次序影响命题的真值,不是随意变动,否 则真值会有变化。如上述例子中,P(b,a,c)是假。 PT PRESS 人民邮电出版社定义2.1.2 一个原子命题用一个谓词(如P) 和n个有次序的个体常元(如a1，a2，…，an )表 示成P(a1，a2，…，an )，称它为该原子命题的 谓词形式或命题的谓词形式。 应注意的是，命题的谓词形式中的个体出 现的次序影响命题的真值，不是随意变动，否 则真值会有变化。如上述例子中，P(b,a,c)是假