单项选择题
设A（x）：x是鸟，B（x）：x会飞，命题“没有不会飞的鸟”符号化为（）。
A.AB.BC.CD.D
谓词公式（∀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（）。
A.既是自由变元又是约束变元B.是自由变元但不是约束变元C.既不是自由变元又不是约束变元D.是约束变元但不是自由变元
（P→Q）∧Q的主析取范式中所含的极大极小项有（）。A.¬P∨QB.P∧QC.¬P∧¬QD.¬P∧QE.¬P∨...
多项选择题（P→Q）∧Q的主析取范式中所含的极大极小项有（）。
A.¬P∨QB.P∧QC.¬P∧¬QD.¬P∧QE.¬P∨¬QF.P∧¬QG.无H.P∨QI.P∨¬Q
（P→Q）∧Q的主合取范式中所含的极大极小项有（）。A.P∧QB.¬P∧QC.¬P∨QD.¬P∧¬QE.P∨¬...
多项选择题（P→Q）∧Q的主合取范式中所含的极大极小项有（）。
A.P∧QB.¬P∧QC.¬P∨QD.¬P∧¬QE.P∨¬QF.P∨QG.P∧¬QH.无I.¬P∨¬Q
