相关考题
-
问答题
证明为永真式。 -
问答题
证明为可满足式、但不是永真式。 -
问答题
在一阶逻辑中,将命题“不存在最大的自然数”符号化。
