设R和S是集合X上的部分序关系，证明R∩S必定也是X上的部分序关系。

无向图G是棵树，结点数为10，则G的边数是（）

求出谓词公式的前束范式。

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

设个体域D＝{1，2，3，4}，则谓词公式（∀x）A（x）消去量词后的等值式为（）。

设G=（a）为12阶循环群，则G没有（）阶子群。

设有集合A={1，2，3，4}，则从A到{0，1}的不同的函数有（）个。

设G是有10个结点的连通图，边数为20，则可从G中删去（）条边后使之变成树。

存在集合A与B，可以使得A∈B与A⊆B同时成立。（）

求¬P∨（Q∧R）的合取范式与主合取范式。