1002 Lecture Notes - Empty Set, European Route E6, Logical Consequence
Document Summary
Philosophy 212 (001) uw introduction to logic. Answer all questions: explicate in terms of open and/or closed truth-trees: A tree branch is open if and only if it is not closed, which is to say, if and only if an atomic sentence, p, and its negation ~p do not occur on the branch. Line 1: ~[(a b) (~b ~a)] Line 2 left: a b line 2 right: ~(a b) Line 3 left ~(~b ~a) line 3 right ~b ~a (points off if the punctuation is not absolutely accurate, esp wrt relative position of ~ and punctuation marks. Points off as well if the sentences are left-right reversed: use the truth-tree method to answer a and b below. 3% recover a truth-value assignment that supports your answer. [c (a & u)] (c v a) ~(a & ~b) (b & a) (~c v u) A (b c) (a b) c.