biconditional（名词/形容词，逻辑学）指“双条件命题/双条件关系”，表示两个命题彼此互为条件：A 当且仅当 B（记作 A B），也可理解为“如果 A 则 B，并且如果 B 则 A”。
/bakndnl/
A biconditional statement uses “if and only if.”
双条件命题会使用“当且仅当”。
In propositional logic, the biconditional is true exactly when both statements have the same truth value.
在命题逻辑中，双条件连接词当且仅当两个陈述具有相同真值时为真。
由 bi-（“两、双”）+ conditional（“条件的”）构成，字面意思是“双重条件”。它用于形式逻辑中，强调“互相推出”的对称关系，即“当且仅当”。
Select Language