Definition
Commutativity (Propositional Logic)
Commutativity is the property of the connectives
and that the order of two formulas is irrelevant: For every interpretation
, Both connectives depend only on the multiset of operand truth values, not on their order.