Definition 1.2.9.  Let a, b ∈ Bool. We define:
a ∨ b := [a is true or b is true]