Category:Examples of Biconditional

From ProofWiki
Jump to navigation Jump to search

This category contains examples of Biconditional.

The biconditional is a binary connective:

$p \iff q$

defined as:

$\paren {p \implies q} \land \paren {q \implies p}$

That is:

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

Pages in category "Examples of Biconditional"

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