This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: using the following key: O â‰¡ Omar leaves town M â‰¡ McNulty cracks the case B â‰¡ Bubbles snitches G â‰¡ Greggs goes undercover 1. O â‰¡ (M & ~B) 2. Neither McNulty cracks the case nor Omar leaves town; however, not both Bubbles snitches and Griggs goes undercover 3. Determine whether the following set of sentences is consistent using the shortened truthtable method (A â‰¡ B) v ~B , ~(~A v ~C) , A âŠƒ (C âŠƒ B) 4. Show that the following derivation relation holds using only SD. 1. (E v F) & H âˆ´ I (approx. 10 steps) 2. E âŠƒ (G & I) 3. I â‰¡ F 5. Show that the following derivation relation holds using SD+. 1. ~(B v C) âˆ´ H âŠƒ L (approx. 12 steps) 2. ~B âŠƒ (~H â‰¡ I) 3. ~I âŠƒ C...
View
Full Document
 Spring '09
 Philosophy, Logic, Omar, Proof theory, False False False, McNulty

Click to edit the document details