Rule of Commutation/Disjunction

Theorem
Disjunction is commutative:

Formulation 2
Its abbreviation in a tableau proof is $\text{Comm}$.

Also see

 * Rule of Association
 * Principle of Commutation