1002 Lecture Notes - Mathematical Induction, Soundness
Document Summary
Philosophy 212 (001) uw introduction to logic. By way of contrast, what is the basic strategy for proving the soundness of sd? (confine yourself to stating it in a sentence. ) 5: consider the following argument by mathematical induction: 5: all the sentences containing 0 occurrences of connectives are true on a truth value assignment, *, if and only if they are *. One of these claims is that p q * if and only if either p and q are both * or neither is. 1% by appeal to the semantic rules for msl. A b w1 t t w2 f t w3 f f: prove that { a, b} does not modally entail (a & b) , prove that { a, b} does modally entail (a & b).