Commutativity of conjunction

From Wikipedia, the free encyclopedia

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₁ H₂ ... H_n

is equivalent to

H_n ... H₂ 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.