作业帮 > 数学 > 作业

离散数学代数系统图中红线部分内容是怎么来的,为什么不用a+b=c+d来证要用减的来证呢?

来源:学生作业帮 编辑:拍题作业网作业帮 分类:数学作业 时间:2024/05/16 11:25:32
离散数学代数系统


图中红线部分内容是怎么来的,为什么不用a+b=c+d来证要用减的来证呢?
红线部分内容是从上面一行来的
a + d = b + c a - b = c - d
这两个式子是等价的,在证明自反和对称性时,没有任何区别
但在证明传递性时,a - b = c - d比a + d = b + c证明起来更简单