而且这个推论

来源: 2023-08-03 18:47:13 [博客] [旧帖] [给我悄悄话] 本文已被阅读:

If a then b

If no a then no b, vis versa.

好像有问题,if a then b , 只能推出 if no b then no a 吧

如果这两个同时成立:if a then b, if no a then no b, 能不能推出 a = b?