命题公式(A∧(A→B))→B是一个矛盾式。
错误
暂无解析
任何循环群必定是阿贝尔群,反之亦真。
与命题公式P→(Q→R)等价的公式是()
任意两个不同小项的合取为,全体小项的析取式为________。
含5个结点,4条边的无向连通图(不同构)有________个,它们是________________。
下列图中是欧拉图的有()。