The disjunction p ∨ q is false when both p and q are false and is true otherwise. Upgrade to ... (The truth value of the hypothesis does not matter then.) Converse.
