简答题

设A和B是集合，且B=A∪{b}，其中b∉A。证明：。

问答题用形式证明的方法证明下列论证的有效性：“本班有些同学是有经验的C++程序员，任何C++程序员都知道对象的概念。因此，本班有人知道对象的概念。”

问答题求出谓词公式的前束范式。

单项选择题任意两个不同极大项的析取式必为（）。

A.永真公式
B.可满足公式
C.永假公式
D.等值公式

单项选择题若无向图G是有99个结点，9个连通分量，则G中的边数必（）

A.≤90
B.=90
C.≥90
D.=100
E.≥100

单项选择题从无向完全图K5中至少删除（）条边后，所得的图将成为平面图。

A.0
B.1
C.2
D.3