。
相关考题
-
问答题
用形式证明的方法证明下列论证的有效性：“本班有些同学是有经验的C++程序员，任何C++程序员都知道对象的概念。因此，本班有人知道对象的概念。” -
问答题
求出谓词公式的前束范式。 -
单项选择题
任意两个不同极大项的析取式必为（）。
A.永真公式
B.可满足公式
C.永假公式
D.等值公式
