若集合A＝{1，2，3，4}，则下列表述正确的是（）。

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

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

群，其中，⊕为模4加法，该群有（）个子群。

完全图K4不是平面图。（）

设图G=< V，E>，V={v1，v2，v3，v4}，E={（v1，v2），（v1，v4），（v2，v4）}，试（1）画出G的图形表示；（2）写出其邻接矩阵；（3）求出每个结点的度数；（4）画出图G的补图的图形。

对任意集合A，B 和C，试证明A×（B∪C）=（A×B）∪（A×C）。

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

设集合A={{0}}，则P（A）=（）。

设R为实数集，对于任意a，b∈R，a*b=a+b+ab，则下述结论中正确的是（）。