(related to Corollary: Commutativity of Disjunction)

- Let $L$ be a set of propositions and let $I$ be an interpretation with the valuation function $[[]]_I$.
- According to the truth table of disjunction, the valuation function $[[x\vee y]]_I$ does not change its value if we exchange the valuations of $[[x]]_I$ and $[[y]]_I,$
- Thus, the disjunction operation "$\vee$" is commutative, i.e. $x \vee y=y \vee x$.∎

**Mendelson Elliott**: "Theory and Problems of Boolean Algebra and Switching Circuits", McGraw-Hill Book Company, 1982