A.AB.BC.CD.D以下谓词推理不正确的是（）。……

单项选择题下述推理证明过程中，正确的是（）。

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

判断题设个体域是整数集合，P代表（∀x）（∀y）（（x<y）→（（x-y）<x）），P是假命题。

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

单项选择题设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.是约束变元但不是自由变元