无向图G有9个结点，每个结点的度数不是5就是6，求证：G中至少有5个6度结点或6个5度结点。

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

设R是实数集，f:RxR→R,f(a,b)a+b，g:RxR→R,g(a,b)=ab。求证：f和g都是满射，但不是单射。

任意两个不同小项的合取为，全体小项的析取式为________。

图G为(n,m)图，G的生成树TG必有n个结点。