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

数理逻辑与集合练习 1．下列是两个命题变元p，q 的小项是（ ） A．p∧┐p∧q B．┐p∨q C．┐p∧q D．┐p∨p∨q 2．令p：今天下雪了，q：路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为（ ） A．p→┐q B．p∨┐q C．p∧q D．p∧┐q 3．下列语句中是命题的只有（ ） A．1+1=10 B．x+y=10 C．sinx+siny0 D．x mod 3=2 4．下列等值式不正确的是（ ） A．┐( ? x)A ? ( ? x)┐A B．( ? x)(B→A(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） 的辖域是（ ） A．( ? x)Q(x,z)→( ? x)( ? y)R(x,y,z)) B．Q(x,z)→( ? y)R(x,y,z) C．Q(x,z)→( ? x)( ? y)R(x,y,z) D．Q(x,z) 6．设R