Logical biconditional

In <a href="/facts/Logic/8JnpJLtt">logic</a> and <a href="/facts/Mathematics/pxTouaz4">mathematics</a>, the logical biconditional, also known as material biconditional or equivalence or bidirectional implication or biimplication or bientailment, is the <a href="/facts/Logical_connective/VkPhUs6M">logical connective</a> used to conjoin two statements 
 
 
 
 P
 
 
 {\displaystyle P}
 
 and 
 
 
 
 Q
 
 
 {\displaystyle Q}
 
 to form the statement "
 
 
 
 P
 
 
 {\displaystyle P}
 
 <a href="/facts/If_and_only_if/bYSxGJ66">if and only if</a> 
 
 
 
 Q
 
 
 {\displaystyle Q}
 
" (often abbreviated as "
 
 
 
 P
 
 
 {\displaystyle P}
 
 iff 
 
 
 
 Q
 
 
 {\displaystyle Q}
 
"), where 
 
 
 
 P
 
 
 {\displaystyle P}
 
 is known as the <a href="/facts/Antecedent_(logic)/8VVVqa06">antecedent</a>, and 
 
 
 
 Q
 
 
 {\displaystyle Q}
 
 the <a href="/facts/Consequent/UIzcuaKF">consequent</a>. 
Nowadays, notations to represent equivalence include 
 
 
 
 ↔
 ,
 ⇔
 ,
 ≡
 
 
 {\displaystyle \leftrightarrow ,\Leftrightarrow ,\equiv }
 
.

 
 
 
 P
 ↔
 Q
 
 
 {\displaystyle P\leftrightarrow Q}
 
 is logically equivalent to both 
 
 
 
 (
 P
 →
 Q
 )
 ∧
 (
 Q
 →
 P
 )
 
 
 {\displaystyle (P\rightarrow Q)\land (Q\rightarrow P)}
 
 and 
 
 
 
 (
 P
 ∧
 Q
 )
 ∨
 (
 ¬
 P
 ∧
 ¬
 Q
 )
 
 
 {\displaystyle (P\land Q)\lor (\neg P\land \neg Q)}
 
, and the <a href="/facts/XNOR_gate/LW793PwY">XNOR</a> (exclusive NOR) <a href="/facts/Logical_connective/VkPhUs6M">Boolean operator</a>, which means "both or neither".
Semantically, the only case where a logical biconditional is different from a <a href="/facts/Material_conditional/hYf4b7AE">material conditional</a> is the case where the hypothesis (antecedent) is false but the conclusion (consequent) is true. In this case, the result is true for the conditional, but false for the biconditional.
In the conceptual interpretation, P = Q means "All P's are Q's and all Q's are P's". In other words, the sets P and Q coincide: they are identical. However, this does not mean that P and Q need to have the same meaning (e.g., P could be "equiangular trilateral" and Q could be "equilateral triangle"). When phrased as a sentence, the antecedent is the subject and the consequent is the predicate of a <a href="/facts/Universal_affirmative/FGIFany3">universal affirmative</a> proposition (e.g., in the phrase "all men are mortal", "men" is the subject and "mortal" is the predicate).
In the propositional interpretation, 
 
 
 
 P
 ↔
 Q
 
 
 {\displaystyle P\leftrightarrow Q}
 
 means that P implies Q and Q implies P; in other words, the propositions are <a href="/facts/Logically_equivalent/ysCWmsxA">logically equivalent</a>, in the sense that both are either jointly true or jointly false. Again, this does not mean that they need to have the same meaning, as P could be "the triangle ABC has two equal sides" and Q could be "the triangle ABC has two equal angles". In general, the antecedent is the premise, or the cause, and the consequent is the consequence. When an implication is translated by a hypothetical (or conditional) judgment, the antecedent is called the hypothesis (or the condition) and the consequent is called the thesis.
A common way of demonstrating a biconditional of the form 
 
 
 
 P
 ↔
 Q
 
 
 {\displaystyle P\leftrightarrow Q}
 
 is to demonstrate that 
 
 
 
 P
 →
 Q
 
 
 {\displaystyle P\rightarrow Q}
 
 and 
 
 
 
 Q
 →
 P
 
 
 {\displaystyle Q\rightarrow P}
 
 separately (due to its equivalence to the conjunction of the two converse <a href="/facts/Material_conditional/hYf4b7AE">conditionals</a>). Yet another way of demonstrating the same biconditional is by demonstrating that 
 
 
 
 P
 →
 Q
 
 
 {\displaystyle P\rightarrow Q}
 
 and 
 
 
 
 ¬
 P
 →
 ¬
 Q
 
 
 {\displaystyle \neg P\rightarrow \neg Q}
 
.
When both members of the biconditional are propositions, it can be separated into two conditionals, of which one is called a theorem and the other its reciprocal. Thus whenever a theorem and its reciprocal are true, we have a biconditional. A simple theorem gives rise to an implication, whose antecedent is the hypothesis and whose consequent is the thesis of the theorem.
It is often said that the hypothesis is the <a href="/facts/Sufficient_condition/G45aDCY9">sufficient condition</a> of the thesis, and that the thesis is the <a href="/facts/Necessary_condition/G45aDCY9">necessary condition</a> of the hypothesis. That is, it is sufficient that the hypothesis be true for the thesis to be true, while it is necessary that the thesis be true if the hypothesis were true. When a theorem and its reciprocal are true, its hypothesis is said to be the <a href="/facts/Necessary_and_sufficient_condition/G45aDCY9">necessary and sufficient condition</a> of the thesis. That is, the hypothesis is both the cause and the consequence of the thesis at the same time.

Logical biconditional open-in-new

Logical biconditional