双条件式（biconditional），文学-语言文字-语义学-特指性，对于任何命题P、Q而言，P是Q的充分必要条件，P成立时，Q成立；Q成立时，P成立，即P等价于Q的条件式。用符号“↔”表示。又称等值式。双条件式的真值表如下表所示：双条件式真值表PQ（P↔Q）111010100001不同于条件式命题，双条件式命题只有在P和Q取相同的值，即当P和Q同为真或者同为假时才为真。标准的充分必要条件句用“当且仅当”联结，如“当且仅当你去看电影，我就去看电影”。其等价于“如果你去看电影，我就去看电影；如果你不去，我就不去。”比较条件式和双条件式，可以看出，双条件式可以由条件式推出，即（P↔Q）⇔（P→Q）&（Q→P）。