问答题设A和B是集合,且B=A∪{b},其中b∉A。证明:。
问答题用形式证明的方法证明下列论证的有效性:“本班有些同学是有经验的C++程序员,任何C++程序员都知道对象的概念。因此,本班有人知道对象的概念。”
问答题求出谓词公式的前束范式。
单项选择题任意两个不同极大项的析取式必为()。
A.永真公式B.可满足公式C.永假公式D.等值公式
单项选择题若无向图G是有99个结点,9个连通分量,则G中的边数必()
A.≤90B.=90C.≥90D.=100E.≥100