判断题

设个体域是整数集合，P代表（∀x）（∀y）（（x
【参考答案】

正确

<上一题 目录 下一题>
热门 试题

判断题
谓词公式设（∃x）P（x）→（∀x）P（x）是永真的。
单项选择题
设A（x）：x是鸟，B（x）：x会飞，命题“没有不会飞的鸟”符号化为（）。

A.A
B.B
C.C
D.D
相关试题