单项选择题

设A（x）：x是鸟，B（x）：x会飞，命题“没有不会飞的鸟”符号化为（）。

A.A
B.B
C.C
D.D

<上一题目录下一题>

热门试题

单项选择题

谓词公式（∀x）（P（x））→（∃z）Q（x，z）∧（∀y）R（x，y）中变元y（）。

A.既是自由变元又是约束变元
B.是自由变元但不是约束变元
C.既不是自由变元又不是约束变元
D.是约束变元但不是自由变元

多项选择题

（P→Q）∧Q的主析取范式中所含的极大极小项有（）。

A.¬P∨Q
B.P∧Q
C.¬P∧¬Q
D.¬P∧Q
E.¬P∨¬Q
F.P∧¬Q
G.无
H.P∨Q
I.P∨¬Q

相关试题