参考答案：
这题的参考答案其实也了，题目就是要求定义E(A)，而不是定义E(A^n)
正确应该参考沃舍尔算法：
新定义的运算如下：
参考答案：
此题的结论和参考答案都有问题。
题目是要证明不存在割边的弱连通有向图是强连通的。
题目中的错误：存在反例，不存在割边弱连通的有向图不是强连通的，例如一个只有两个顶点，有两条平行边的有向图。
参考答案中的错误：圈是初级回路。如果要在有向图中考虑圈，则要讨论每条边的方向。
题目应该这样理解：证明不存在割边的无向连通图，可以通过为各条边指定方向，使之成为强连通图。
这样只需证明，不存在割边的无向连通图，存在经过所有顶点的简单回路。然而，即使是这个结论仍然是不正确的，存在反例，例如形如钻石格的图。
参考答案：
参考答案显然错误
修正答案：
(A,*)构成群当且仅当*封闭且存在单位元且存在逆元
将以上这句话翻译为一阶逻辑公式
错因：传递闭包用数学语言怎么描述呢？
证明可达关系等价于传递关系即可。
参考答案：
参考答案错误，此处不应该用推理，而应该用等值演算求出条件的主析取范式，对比两者，如果条件没有包含结论的所有极大项，则说明条件不能推出结论。