谓词公式设（∃x）P（x）→（∀x）P（x）是永真的。

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

单项选择题

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

谓词公式（∀x）（P（x））→（∃z）Q（x，z）∧（∀y）R（x，y）中变元y（）。A.既是自由变元又是约束...

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

（P→Q）∧Q的主析取范式中所含的极大极小项有（）。A.¬P∨QB.P∧QC.¬P∧¬QD.¬P∧QE.¬P∨...

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