代数结构与数理逻辑期末复习题讲解.pptxVIP

代数结构与数理逻辑期末复习题讲解;一、判断下列结论是否正确, 并说明理由。?1. [R,?]是群。2.商环Z3[x]/(x4+1)满足消去律。;一、判断下列结论是否正确, 并说明理由。?3. x5+x3+x2+x+1是Z2上的本原多项式。;一、判断下列结论是否正确, 并说明理由。?3. x5+x3+x2+x+1是Z2上的本原多项式。;一、判断下列结论是否正确, 并说明理由。?4. 已知格 L, L 满同态，则L是完全格时， L 也是完全格;一、判断下列结论是否正确, 并说明理由。?4. 已知格 L, L 满同态，则L是完全格时， L 也是完全格;一、判断下列结论是否正确, 并说明理由。?5. 设Con 是命题代数P(X)上的封闭运算。若A1?A2，则Con(A1)?Con(A2)6. 给定谓词合式公式：p=?x1R21 (x1,x2)→?x2(R22 (x2,x3)→R23 (x1,x2)) ，项f21(x1,x3) 对p中所有变元都是不自由的。 ;二、简答题1. 具体写出三次对称群 S3 。;给出(x1→x2)?(x3∨x2)的真值表和命题合式公式。;3. 指出下面公式中的自由变元和约束变元，并指明量词的辖域 ?x(R11(x,z)→R21(x,y,z))→(?z R11(x)→R21(x,z)) ;三、在有理数集Q上定义如下运算“”和“?”，