问答题

简答题

谓词公式∃xA(x)∧¬∃xA(x)的类型是下列4个中的哪一个?
(1)永真式
(2)矛盾式
(3)非永真式的可满足式
(4)不属于(1)(2)(3)任何类型

【参考答案】

热门 试题

问答题
L={1,2,3,…,12}
问答题