Rule of Commutation/Disjunction/Formulation 2

Theorem
Disjunction is commutative:
 * $\vdash \left({p \lor q}\right) \iff \left({q \lor p}\right)$

Proof
By the tableau method of natural deduction: