01:730:103 Lecture Notes - Lecture 4: Thanetian, Ds 5

337 views7 pages

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.

Get access

Grade+
$40 USD/m
Billed monthly
Grade+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
10 Verified Answers
Class+
$30 USD/m
Billed monthly
Class+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
7 Verified Answers

Related Documents

Related Questions