Commutative law
Commutative law
is any law of the form x o y = y o x, or with the biconditional, etc., replacing equality — compare Associative law. Commutative laws of addition and multiplication hold in arithmetic, also in the theory of real numbers, etc. In the propositional calculus there are commutative laws of conjunction, both kinds of disjunction, the biconditional, alternative denial and its dual; also corresponding laws in the algebra of classes. — A.C.