Rule of Commutation/Conjunction

Theorem
Conjunction is commutative:

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

Also see

 * Rule of Association
 * Principle of Commutation