设个体城是自然数集,p代表?x?y?z(x-y=z),下面四个描述正确的是()


设个体城是自然数集,p代表?x?y?z(x-y=z),下面四个描述正确的是()

A.p不是一阶逻辑公式。

B.p是假命题。

C.p是真命题。

D.p是一阶逻辑公式,但不是命题。

正确答案:A


Tag:命题 公式 逻辑 时间:2023-02-16 13:44:15