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 truth-table 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