Biconditionals

Part of speech: noun

Definitions

1. Logical statements asserting that two propositions are equivalent, being true precisely when both share the same truth value
2. Compound propositions in logic that hold only when their two parts are either both true or both false
3. Conditions in formal logic linking two claims so that each implies the other and they agree in truth value

Etymology: "Biconditionals" is the plural of "biconditional," a logical term for a statement that holds in both directions: "P if and only if Q" asserts that P implies Q and Q implies P. The word is built from the Latin prefix "bi-," meaning "two" or "twice," attached to "conditional," which comes from the Latin "conditionalis," relating to a condition. The first element, "bi-," traces back through Latin "bis" to the ancient root for "two," but in English it is simply a productive prefix that can be attached to nearly any word. The word is a plain compound with a clear logic. A conditional, such as "if it rains, the match is cancelled," runs in one direction only. Doubling it with "bi-" yields a statement that runs both ways, so the match is cancelled if and only if it rains. The formation shows the term's purpose: it names a two-way conditional without needing a longer phrase.