Math 这是平等的吗？（如果C==D，则A==B）

如果C==D，则A==B
如果A==B，则C==D

---

A==B吗？

没有足够的信息来提供解决方案

如果第一条语句为真，则第二条语句为真。如果第二条语句为真，则第一条语句为真

---

这只是一个循环，没有证明任何东西

没有足够的信息提供解决方案

如果第一条语句为真，则第二条语句为真。如果第二条语句为真，则第一条语句为真

这只是一个循环，没有证明任何东西

仅当C==D时

我知道这没有多大用处，但我认为，根据给出的信息，我们只能说这些了。

只有当C==D时

---

我知道没有多大用处，但我认为这是我们所能说的所有信息。

你需要知道一些关于C==d的知识，你现在所拥有的只是一个等价物。@belisarius:事实上，我有两个想法，因为可以用Mathematica来回答：

LogicalXpand[Implies[C==d，a==b]&&Implies[a==b，C==d]]

返回

（b==a&&d==c）| |（b！=a&&d！=c）

@Simon我花了一段时间才明白这不是Mma的问题。在阅读了答案和评论后，我意识到了这一点。有趣的是。你需要知道一些关于C==d的知识才能告诉我们，你现在所拥有的只是一个等价物。@belisarius:事实上，我当时有两个想法，因为这可以用Mathematica来回答：

LogicalXpand[Implies[C==d，a==b]&&Implies[a==b，C==d]

返回

（b==a&&d==C）|（b！=a&&d！=C）

@Simon我花了一段时间才明白这不是Mma的问题。在阅读了答案和评论后，我意识到了这一点。有趣的是，你可以说

C==D当且仅当A==B

时，反之亦然，但这仍然不是很重要。：）你可以说

C==D，当且仅当A==B

时，反之亦然，但这仍然不是很多