设R是实数集,f:RxR→R,f(a,b)a+b,g:RxR→R,g(a,b)=ab。求证:f和g都是满射,但不是单射。
无向图G有9个结点,每个结点的度数不是5就是6,求证:G中至少有5个6度结点或6个5度结点。
任意两个不同小项的合取为,全体小项的析取式为________。
设T为根树,若________,则称T为m元树;若________则称T为完全m叉树。
设Q(x):x为偶数,P(x):x为素数,则下列命题:(1)存在唯一偶素数;(2)至多有一个偶素数;分别形式化:(1)________________________________(2)________________________________。