电子科大离散数学试题 1.下列命题公式为重言式的是( )
A.p→ (p∨q) B.(p∨┐p)→q
C.q∧┐q D.p→┐q
2.下列语句中不是命题的只有( )
A.这个语句是假的。 B.1+1=1.0
C.飞碟来自地球外的星球。 D.凡石头都可练成金。
3.设p:我很累,q:我去学习,命题:“除非我很累,否则我就去学习”的符号化正确的是
( )
A.┐p∧q B.┐p→q
C.┐p→┐q D.p→┐q
4.下列等价式正确的是( )
A.┐┐A
B.
C.┐┐A
D.
5.在公式中变元y是( )
A.自由变元
B.约束变元
C.既是自由变元,又是约束变元
D.既不是自由变元,又不是约束变元
1