(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!
