Rule of Commutation

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

Also see

 * Rule of Association
 * Principle of Commutation