线性代数 - 数理逻辑与集合练习.doc

数理逻辑与集合练习1下列是两个命题变元p，q 的小项是（ ）Appq BpqCpq Dppq2令p：今天下雪了，q：路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为（ ）Apq BpqCpq Dpq3下列语句中是命题的只有（ ）A1+1=10 Bx+y=10Csinx+siny0 Dx mod 3=24下列等值式不正确的是（ ）A( x)A ( x)AB( x)(BA(x) B( x)A(x)C( x)(A(x)B(x) ( x)A(x)( x)B(x)D( x)( y)(A(x)B(y) ( x)A(x)( y)B(y)5谓词公式( x)P(x,y)( x)(Q(x,z)( x)( y)R(x,y,z)中量词（ x