Solution

ID: past-exam-of-the-logic-and-set-theory-course-of-the-university-of-oxford/2008/a/2/c/solution

Under any Boolean valuation there are two possibilities. If is false, the outer logical implication is true by vacuous truth. If it is true, then is false, which forces true and false. In that case is true, so the outer logical implication is again true. These possibilities exhaust the truth values of its antecedent; therefore

New to topics? Read the docs here!