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 don’t use ID, but if you can’t 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
- Spring '08