Biconditional Properties

Theorems
Equivalence is commutative:


 * $$p \iff q \dashv \vdash q \iff p$$

Equivalence is associative:


 * $$p \iff \left({q \iff r}\right) \dashv \vdash \left({p \iff q}\right) \iff r$$

These can alternatively be rendered as:

$$ $$

They can be seen to be logically equivalent to the forms above.

We also have that Equivalence destroys copies of itself:


 * $$p \iff p \dashv \vdash \top$$

Proof by Natural deduction
Commutativity is proved by the Tableau method:

$$q \iff p \vdash p \iff q$$ is proved similarly.

Proof of associativity by natural deduction is just too tedious to be considered.


 * The theorem:
 * $$p \iff p \dashv \vdash \top$$

is the Law of Identity.

Proof by Truth Table
We apply the Method of Truth Tables to the propositions in turn.

As can be seen by inspection, in all cases the truth values under the main connectives match for all models.

$$\begin{array}{|ccc||ccc|} \hline p & \iff & q & q & \iff & p \\ \hline F & T & F & F & T & F \\ F & F & T & T & F & F \\ T & F & F & F & F & T \\ T & T & T & T & T & T \\ \hline \end{array}$$

$$\begin{array}{|ccccc||ccccc|} \hline p & \iff & (q & \iff & r) & (p & \iff & q) & \iff & r \\ \hline F & F & F & T & F & F & T & F & F & F \\ F & T & F & F & T & F & T & F & T & T \\ F & T & T & F & F & F & F & T & T & F \\ F & F & T & T & T & F & F & T & F & T \\ T & T & F & T & F & T & F & F & T & F \\ T & F & F & F & T & T & F & F & F & T \\ T & F & T & F & F & T & T & T & F & F \\ T & T & T & T & T & T & T & T & T & T \\ \hline \end{array}$$

$$\begin{array}{|ccc|} \hline p & \iff & p \\ \hline F & T & F \\ T & T & T \\ \hline \end{array}$$