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

设T为根树，若________，则称T为m元树;若________则称T为完全m叉树。

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

在代数系统(N，+)中，其单位元是0，仅有____有逆元。

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