This preview shows pages 1–2. Sign up to view the full content.
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
This document was uploaded on 11/03/2009.
 Spring '09
 Philosophy

Click to edit the document details