设:P:他去游泳。Q:天气好。则命题“只要天气好,他就去游泳。”可符号化为().(5.0)
A. P→Q
B. Q→P
C. ¬P∨Q
D. ¬Q→¬P
下面哪一个命题是命题“2是偶数或−3是负数”的否定().(5.0)
A. 2是偶数或−3不是负数;
B. 2是奇数且−3是正数;
C. 2不是偶数且−3不是负数;
D. 2是奇数且−3不是负数;
设F(x):x是学生,G(x):x是体育运动,H(x,y):x喜欢y。命题“所有学生都喜欢某种体育运动”的符号化公式是().(5.0)
A. ∃y(G(y)→∀x(F(x)∧H(x,y)))
B. ∀x(F(x)→∃y(G(y)∧H(x,y)))
C. ∀x∃y(G(y)→(F(x)∧H(x,y)))
D. ∃y(G(y)→∀x(F(x)→H(x,y)))
命题公式A与B是等价的,是指()?(5.0)
A与
B. 有相同的命题变元 A与B都是可满足的
C. 当A的真值为真时,B的真值也为真
D. A和B有相同的真值表