Biconditional

释义 Definition

biconditional（名词/形容词，逻辑学）指“双条件命题/双条件关系”，表示两个命题彼此互为条件：A 当且仅当 B（记作 A ↔ B），也可理解为“如果 A 则 B，并且如果 B 则 A”。

发音 Pronunciation (IPA)

/ˌbaɪkənˈdɪʃənəl/

例句 Examples

A biconditional statement uses “if and only if.”
双条件命题会使用“当且仅当”。

In propositional logic, the biconditional is true exactly when both statements have the same truth value.
在命题逻辑中，双条件连接词当且仅当两个陈述具有相同真值时为真。

词源 Etymology

由 bi-（“两、双”）+ conditional（“条件的”）构成，字面意思是“双重条件”。它用于形式逻辑中，强调“互相推出”的对称关系，即“当且仅当”。

相关词 Related Words

• Conditional
• Implication
• Equivalence
• Conjunction
• Disjunction
• Negation
• Proposition
• Predicate

文学与经典出处 Literary Works

• A Mathematical Introduction to Logic（Herbert B. Enderton）
• Logic（Paul Tomassi）
• An Introduction to Formal Logic（Peter Smith）
• Discrete Mathematics and Its Applications（Kenneth H. Rosen）