Corollary: Commutativity of Conjunction

(related to Definition: Conjunction)

The conjunction operation "$\wedge$" is commutative, i.e. $x \wedge y=y \wedge x$ for all possible interpretations $I$ and valuation functions $[[]]_I$ of propositions \(x,y.\)

Proofs: 1

Proofs: 1 2 3 4 5 6


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs