相关考题
-
单项选择题
下述推理证明过程中，正确的是（）。
A.A
B.B
C.C
D.D -
判断题
设个体域是整数集合，P代表（∀x）（∀y）（（x<y）→（（x-y）<x）），P是假命题。 -
判断题
谓词公式设（∃x）P（x）→（∀x）P（x）是永真的。
