Proofs with ∨

• “∨” means “or”

• “a ∨ b” means you have a proof of a, or you have a proof of b

• In logic if you can prove a

• then you may conclude a ∨ b

• you may also conclude b ∨ a

• (This is called ∨I)