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

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

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