In logic, the commutativity of conjuction demonstrates that predicates on both sides of a logical conjunction operator are interchangeable. This logical law is a part of classical logic.

For any two or more propositons H₁, H₂, ... H_n, it is the case that:

H₁ $\backslash land$ H₂ $\backslash land$ ... $\backslash land$ H_n

is equivalent to

H_n $\backslash land$ ... $\backslash land$ H₂ $\backslash land$ H₁

For example, if H₁ is

It is raining

H₂ is

Socrates is mortal

and H₃ is

2+3=5

then

It is raining and Socrates is mortal and 2+3=5

is equivalent to

Socrates is mortal and 2+3=5 and it is raining

and the other orderings of the predicates.

Logic | Laws of thought