PHIL 10 Lecture Notes - Lecture 8: Nsb Di 3, Nsb Di 4, Thanetian

34 views2 pages
31 Oct 2016
School
Department
Course
Professor

Document Summary

Phil 10 lecture 8 chapter 4. X y :: ~x v y. X v y :: y v x. X y :: y x. Can be used on part of a line. ~ (x v y) :: ~x ~y. ~ (x y) :: ~x v ~y. X y :: ~y ~x. Association (assoc) (x v y) v z :: x v (y v z) (x y) z :: x (y z) Examples: d, e v d, ~ (~e ~d) 2 dem: ~ (p ~p) (~a ~b, a v b, ~ (~a ~b, ~ (~a ~b) (p ~p, ~ (~a ~b) (~p v ~p, a. Rather than do it directly, establish indirectly by showing that ~x must be false. Show that if you assume ~x, can derive something you know is false. Keep deriving lines until you get an explicit contradiction: statement conjoined to negation of that same statement. Examples: a b, b ~b, -> a, b, ~b, ---b ~b, ~a.

Get access

Grade+20% off
$8 USD/m$10 USD/m
Billed $96 USD annually
Grade+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
40 Verified Answers
Class+
$8 USD/m
Billed $96 USD annually
Class+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
30 Verified Answers

Related Documents

Related Questions