设Q(x):x为偶数，P(x):x为素数，则下列命题：(1)存在唯一偶素数;(2)至多有一个偶素数;分别形式化：(1)________________________________(2)________________________________。

含5个结点，4条边的无向连通图(不同构)有________个，它们是________________。

函数的复合运算“。”满足结合律。

数集合上的不等关系(≠)可确定A的一个划分。

图G为(n,m)图，G的生成树TG必有n个结点。