e/Commutativity of conjunction

Information
has gloss	eng: In logic, the commutativity of conjunction demonstrates that predicates on both sides of a logical conjunction operator are interchangeable. This logical law is a part of classical logic.
lexicalization	eng: Commutativity of conjunction
instance of	e/Rule of inference