证明：在6个结点12条边的连通平面简单图中，每个面的面度都是3。
证：n=6,m=12欧拉公式n-m+f=2知f=2-n+m=2-6-12=8。由图论基本定理知：
所以必有，即每个面用3条边围成。
暂无解析
若集合A上的关系R是对称的，则R∧-1也是对称的。
命题公式(A∧(A→B))→B是一个矛盾式。
使命题公式P→(Q∨R)的真值为F的真值指派的P、Q、R值分别是T、F、F。
任何循环群必定是阿贝尔群，反之亦真。
求命题公式p∧q∨r的主合取范式与主析取范式。
，即每个面用3条边围成。