This preview shows page 1. Sign up to view the full content.
Unformatted text preview: DD? Would you need to do some combination of these? When should you do one technique within another? The simplest rule is: when in doubt, try an indirect derivation. This is because all problems can be done with ID. Some problems are shorter if you dont use ID, but if you cant see that far ahead, it almost never hurts to try. To make things more speciFc, when it doubt, I recommend constructing a derivation using the following strategies, depending on what kind of statement in your SHOW line: SHOW line orm Try Assume New SHOW atomic statement A ID A 6 negation p ID p 6 disjunction p _ q ID ( p _ q ) 6 conditional p ! q CD p q 10...
View Full Document
This note was uploaded on 11/22/2011 for the course PHIL 110 taught by Professor Bohn during the Spring '08 term at UMass (Amherst).
- Spring '08