# Category:Definitions/Biconditional

This category contains definitions related to Biconditional.
Related results can be found in Category:Biconditional.

The biconditional is a binary connective:

$p \iff q$

defined as:

$\left({p \implies q}\right) \land \left({q \implies p}\right)$

That is:

If $p$ is true, then $q$ is true, and if $q$ is true, then $p$ is true.

## Pages in category "Definitions/Biconditional"

The following 12 pages are in this category, out of 12 total.