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

无向图G有12条边，G中有6个3度结点，其余结点的度数均小于3，问G中至少有多少个结点?

若集合A上的关系R是对称的，则R∧-1也是对称的。

任何(n,m)图G=(V,E),边数与顶点度数的关系是________。

命题公式(A∧(A→B))→B是一个矛盾式。