To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.

Logical biconditional

From Wikipedia, the free encyclopedia

Venn diagram of  P ↔ Q {\displaystyle P\leftrightarrow Q} (true part in red)
Venn diagram of
(true part in red)

In logic and mathematics, the logical biconditional, sometimes known as the material biconditional, is the logical connective () used to conjoin two statements P and Q to form the statement "P if and only if Q", where P is known as the antecedent, and Q the consequent.[1][2] This is often abbreviated as "P iff Q".[3] Other ways of denoting this operator may be seen occasionally, as a double-headed arrow (↔[4] or ⇔[5] may be represented in Unicode in various ways), a prefixed E "Epq" (in Łukasiewicz notation or Bocheński notation), an equality sign (=), an equivalence sign (≡),[3] or EQV. It is logically equivalent to both and , and the XNOR (exclusive nor) boolean operator, which means "both or neither".

Semantically, the only case where a logical biconditional is different from a material conditional is the case where the hypothesis is false but the conclusion is true. In this case, the result is true for the conditional, but false for the biconditional.[1]

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 universal affirmative proposition (e.g., in the phrase "all men are mortal", "men" is the subject and "mortal" is the predicate).

In the propositional interpretation, means that P implies Q and Q implies P; in other words, the propositions are logically equivalent, 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 is to demonstrate that and separately (due to its equivalence to the conjunction of the two converse conditionals[1]). Yet another way of demonstrating the same biconditional is by demonstrating that and .

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.[citation needed] 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 sufficient condition of the thesis, and that the thesis is the necessary condition 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 necessary and sufficient condition of the thesis. That is, the hypothesis is both the cause and the consequence of the thesis at the same time.


Logical equality (also known as biconditional) is an operation on two logical values, typically the values of two propositions, that produces a value of true if and only if both operands are false or both operands are true.[1]

Truth table

The following is a truth table for (also written as , P = Q, or P EQ Q):

True True True
True False False
False True False
False False True

When more than two statements are involved, combining them with might be ambiguous. For example, the statement

may be interpreted as


or may be interpreted as saying that all xi are jointly true or jointly false:

As it turns out, these two statements are only the same when zero or two arguments are involved. In fact, the following truth tables only show the same bit pattern in the line with no argument and in the lines with two arguments:

   x 1 ↔ ⋯ ↔ x n {\displaystyle ~x_{1}\leftrightarrow \cdots \leftrightarrow x_{n}} meant as equivalent to ¬   ( ¬ x 1 ⊕ ⋯ ⊕ ¬ x n ) {\displaystyle \neg ~(\neg x_{1}\oplus \cdots \oplus \neg x_{n})} The central Venn diagram below,and line (ABC  ) in this matrixrepresent the same operation.

meant as equivalent to

The central Venn diagram below,
and line (ABC  ) in this matrix
represent the same operation.
   x 1 ↔ ⋯ ↔ x n {\displaystyle ~x_{1}\leftrightarrow \cdots \leftrightarrow x_{n}} meant as shorthand for (   x 1 ∧ ⋯ ∧ x n   ) {\displaystyle (~x_{1}\land \cdots \land x_{n}~)} ∨   ( ¬ x 1 ∧ ⋯ ∧ ¬ x n ) {\displaystyle \lor ~(\neg x_{1}\land \cdots \land \neg x_{n})} The Venn diagram directly below,and line (ABC  ) in this matrixrepresent the same operation.

meant as shorthand for

The Venn diagram directly below,
and line (ABC  ) in this matrix
represent the same operation.

The left Venn diagram below, and the lines (AB    ) in these matrices represent the same operation.

Venn diagrams

Red areas stand for true (as in

Venn0001.svg for and).

The biconditional of two statements
is the negation of the exclusive or:


Venn 0110 1001.svg
The biconditional and the
exclusive or of three statements
give the same result:

Venn 1001 1001.svg
Venn 0000 1111.svg

Venn 0110 0110.svg
Venn 0000 1111.svg
Venn 0110 1001.svg

Venn 1000 0001.svg
may also be used as an abbreviation

Venn 1001 1001.svg
Venn 1100 0011.svg
Venn 1000 0001.svg


Commutativity: Yes


Associativity: Yes

Venn 0101 0101.svg
Venn 1100 0011.svg
Venn 0110 1001.svg
Venn 1001 1001.svg
Venn 0000 1111.svg

Distributivity: Biconditional doesn't distribute over any binary function (not even itself), but logical disjunction distributes over biconditional.

Idempotency: No


Monotonicity: No

Venn 1011 1011.svg
Venn 1101 1011.svg
Venn 1010 0101.svg
Venn 1100 0011.svg

Truth-preserving: Yes
When all inputs are true, the output is true.


Falsehood-preserving: No
When all inputs are false, the output is not false.


Walsh spectrum: (2,0,0,2)

Nonlinearity: 0 (the function is linear)

Rules of inference

Like all connectives in first-order logic, the biconditional has rules of inference that govern its use in formal proofs.

Biconditional introduction

Biconditional introduction allows one to infer that if B follows from A and A follows from B, then A if and only if B.

For example, from the statements "if I'm breathing, then I'm alive" and "if I'm alive, then I'm breathing", it can be inferred that "I'm breathing if and only if I'm alive" or equivalently, "I'm alive if and only if I'm breathing." Or more schematically:

 B → A   
 A → B   
 ∴ A ↔ B
 B → A   
 A → B   
 ∴ B ↔ A

Biconditional elimination

Biconditional elimination allows one to infer a conditional from a biconditional: if A B is true, then one may infer either A B, or B A.

For example, if it is true that I'm breathing if and only if I'm alive, then it's true that if I'm breathing, then I'm alive; likewise, it's true that if I'm alive, then I'm breathing. Or more schematically:

 A ↔ B  
 ∴ A → B
 A ↔ B  
 ∴ B → A

Colloquial usage

One unambiguous way of stating a biconditional in plain English is to adopt the form "b if a and a if b"—if the standard form "a if and only if b" is not used. Slightly more formally, one could also say that "b implies a and a implies b", or "a is necessary and sufficient for b". The plain English "if'" may sometimes be used as a biconditional (especially in the context of a mathematical definition[6]). In which case, one must take into consideration the surrounding context when interpreting these words.

For example, the statement "I'll buy you a new wallet if you need one" may be interpreted as a biconditional, since the speaker doesn't intend a valid outcome to be buying the wallet whether or not the wallet is needed (as in a conditional). However, "it is cloudy if it is raining" is generally not meant as a biconditional, since it can still be cloudy even if it is not raining.

See also


  1. ^ a b c d Peil, Timothy. "Conditionals and Biconditionals". Archived from the original on 2020-10-24. Retrieved 2019-11-25.
  2. ^ Brennan, Joseph G. (1961). Handbook of Logic (2nd ed.). Harper & Row. p. 81.
  3. ^ a b Weisstein, Eric W. "Iff". Retrieved 2019-11-25.
  4. ^ "Biconditional Statements | Math Goodies". Retrieved 2019-11-25.
  5. ^ "2.4: Biconditional Statements". Mathematics LibreTexts. 2018-04-25. Retrieved 2019-11-25.
  6. ^ In fact, such is the style adopted by Wikipedia's manual of style in mathematics.

External links

This article incorporates material from Biconditional on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.

This page was last edited on 26 November 2022, at 18:46
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.