§1谓词代数 一、项与原子公式 一数的平方与一数的平方根之和大于0”。 命题涉及3个个体对象两个不确定数,x1X2 一个常数0,用c表示; 涉及3个函数,两个一元运算即平方与平方根),分别记为 求和运算则是二元运算,用f20表示; 最后,还有一个关于数的二元关系“大于”,用R2表示。 命题表示成R1(f20(61(x),f12(x2)1 这个命题是否正确,取决于对x1x2所作的赋值。 若x1x2都是非负实数且至少有一个不为0,则命题正确 ■若x1x2都为0,则命题不正确。§1 谓词代数  一、项与原子公式  一数的平方与一数的平方根之和大于0”。  命题涉及3个个体对象:两个不确定数，x1 ,x2  一个常数0，用c1表示；  涉及3个函数，两个一元运算(即平方与平方根)，分别记为 f1 (1),f1 (2) ，  求和运算则是二元运算，用f2 (1)表示；  最后，还有一个关于数的二元关系“大于”，用R2 (1)表示。  命题表示成R2 (1)(f2 (1)(f1 (1)(x1 ),f1 (2)(x2 )),c1 )。  这个命题是否正确，取决于对x1 ,x2所作的赋值。  若x1 ,x2都是非负实数且至少有一个不为0，则命题正确  若x1 ,x2都为0，则命题不正确