Symbols:Symbolic Logic/Biconditional

From ProofWiki
Jump to navigation Jump to search

Biconditional

$\iff$

Biconditional.

A binary operation on two propositions.

$P \iff Q$ means $P$ is true if and only if $Q$ is true.


The $\LaTeX$ code for \(P \iff Q\) is P \iff Q .


Deprecated Symbols

Biconditional

$\leftrightarrow$

Biconditional.

A binary operation on two propositions.


$P \leftrightarrow Q$ means $P$ is true if and only if $Q$ is true.

An alternative to $P \iff Q$, which is what is generally used nowadays by logicians.


The $\LaTeX$ code for \(P \leftrightarrow Q\) is P \leftrightarrow Q .


Sources