下面哪一个命题是命题“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有相同的真值表
命题公式(P∧(P→Q))→Q是()?(5.0)
A. 矛盾式
B. 可满足式
C. 重言式
D. 以上都不是
设个体域为整数集,下列真值为真的公式是().(5.0)
A. ∃y∀x(x−y=2)
B. ∀x∀y(x−y=2)
C. ∀x∃y(x−y=2)
D. ∃x∀y(x−y=2)