设谓词P(x):x是奇数,Q(x):x是偶数,谓词公式﹁∃x(P(x)∧Q(x))在哪个个体域中为真?(）
A. 实数
B. 自然数
C. 复数
D. (1)--(3)均成立
查看答案
下列哪个公式为永真蕴含式?( )
A. ﹁Q=>Q→P
B. ﹁ Q=>P→Q
C. P=>P→Q
D. ﹁ P∧ (P∨ Q)=>P
设个体域为整数集,则公式∀x∃y(x+y=0)的意义是( ）
A任意整数y对任一整数x满足x+y=0
B. 存在整数y对任一整数x满足x+y=0
C. 对任意整数x存在整数y满足x+y=0
D. 以上都不对
下面哪一个命题是假命题()
A. 如果2是偶数,那么一个公式的主析取范式唯一
B. 如果2是偶数,那么一个公式的主析取范式不唯一
C. 如果2是奇数,那么一个公式的主析取范式唯一
D. 如果2是奇数,那么一个公式的主析取范式不唯一
公式¬(P→Q)的析取范式是()
A. P∧¬Q
B. ¬P∧Q
C. ¬P∨Q
D. P∨¬Q
微信支付 
支付宝支付