We can obtain A∨B as long as at least one of A and B is true. This gives us the introduction (∨I) rules: ? A∨BA and A∨BB(∨I)