Biconditional is Associative

From ProofWiki
Jump to navigation Jump to search

Theorem

The biconditional operator is associative:

Formulation 1

$p \iff \paren {q \iff r} \dashv \vdash \paren {p \iff q} \iff r$

Formulation 2

$\vdash \paren {p \iff \paren {q \iff r} } \iff \paren {\paren {p \iff q} \iff r}$