当且仅当

标记

与此相对应的逻辑符号是和。这两个通常被当作是相等的。但是，一些数学教科书，特别是那些关于一阶逻辑而非命题逻辑对此有所区别，在那里前者被用来表示逻辑公式，后者表示那些公式的推理（譬如说在元逻辑中）。

证明

设与为两命题，在证明“当且仅当则”时，这相当于去同时证明陈述“如果成立，则成立”和“如果成立，则成立”。另外，也可以证明“如果成立，则成立”和“如果不成立，则不成立”，后者作为对偶，等价于“如果成立，则成立”。

有关英语缩写iff的开端

在出版物中，英语iff的表示标记最早出现在约翰·L·凯利的《一般拓扑学》中。它的发明通常被认为是归于数学家保罗·哈尔莫斯，但在哈尔莫斯的自传中却声明该标记另有出处，他只是首先在数学领域使用。

更一般的用法

“当且仅当”在逻辑领域以外，在数学出版物或者普通的谈话中也会用到。如同上面所说，它指的是某个陈述是另外一个的充分必要条件。这是一个数学术语的例子。