Branches History Index

◀ ▲ ▶Branches / Logic / Proposition: Associativity of Disjunction

Proposition: Associativity of Disjunction

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

Table of Contents

Proofs: 1

Mentioned in:

Proofs: 1 2 3 4

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

Github:
bookofproofs

References

Bibliography

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