设Q(x):x为偶数，P(x):x为素数，则下列命题：(1)存在唯一偶素数;(2)至多有一个偶素数;分别形式化：(1)________________________________(2)________________________________。
任何循环群必定是阿贝尔群，反之亦真。
设R是实数集，f:RxR→R,f(a,b)a+b，g:RxR→R,g(a,b)=ab。求证：f和g都是满射，但不是单射。
与命题公式P→(Q→R)等价的公式是()
已知一棵无向树T有三个3顶点,一个2度顶点,其余的都是1度顶点,则T中有________个1度顶点。
