1002 Lecture Notes - Logical Consequence
Document Summary
Philosophy 212 (001) uw introduction to logic. Closed book: explicate in terms of open and/or closed truth-trees: 6: truth-functional consistency, truth-functional falsity, under what conditions is a tree branch open, give the first three lines of the tree used to test a b and ~b ~a for t-f equivalence. 3: use the truth-tree method to answer a and b below. 2% appropriate, recover a truth-value assignment that supports your answer. [c (a & u)] (c v a) ~(a & ~b) (b & a) (~c v ~u) B c (m g) & (g z) (e v r) ~(c v z) Answers: explain why any argument of sl whose conclusion is a theorem in sd is valid in sd.