设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都是满射，但不是单射。

试判断(z,≤)是否为格?说明理由。

求命题公式p∧q∨r的主合取范式与主析取范式。