01:730:103 Lecture Notes - Lecture 4: Thanetian, Ds 5
337 views7 pages
29 Aug 2016
School
Department
Course
Professor
Document Summary
[44-1] exercise designed to appreciate comparative merit of cp: with the same argument below, [44-1. 1] do the 1st proof without using cp; & [44-1. 2] do the 2nd proof by using cp: 5: m -> r 3,4 hs qed. [44-2] exercise designed to employ cp as part of the whole proc ess: with the same argument below, [44-2. 1] do the 1st proof by using cp with ~p as ap. [44-2. 2] do the 2nd proof by using cp with r as ap; & then contra. 10: ~p -> ~r 3-9 cp qed. 9: ~p -> ~r 8 contra qed. 10: (h->m) & ~f 7,9 conj qed. [44-4] exercise designed to employ cp twice to get an equivalence. 1st proof for a -> b by cp. 2nd proof for b -> a by cp combine them by conj then use equiv. 6: [(a v b) -> c] & [c -> (a v b)] 2 equiv. 7: (a v b) -> c 6 simp.