Category:Examples of Biconditional
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.