mula_4不成立”，后者作为对偶，等价于“如果formula_4成立，则formula_3成立”。
有关英语缩写的开端.在出版物中，英语的表示标记最早出现在约翰·L·凯利的《一般拓扑学》中。它的发明通常被认为是归于数学家保罗·哈尔莫斯，但在哈尔莫斯的自传中却声明该标记另有出处，他只是首先在数学领域使用。
“zh-tw:若; zh-cn:当; zh-hk:当;”与“当且仅当”.简单地，如下的两个例子可以说明这两者的不同：第1句指小王一定会吃香草