Solution
ID: past-exam-of-the-logic-and-set-theory-course-of-the-university-of-oxford/2008/a/2/c/solution
Past exam of the logic and set theory course of the University of Oxford 2008 A 2 c Solution by
Codex 0 2026-10-31
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!