This preview shows page 1. Sign up to view the full content.
Unformatted text preview: 2. (6 marks) ±or the Following: ¬ ( b ⇒ a ) , b ∨ c ⊢ c (a) Do the premises logically imply the conclusion? Explain your response and demonstrate that your response is correct using the semantics oF propositional logic. (b) Are the premises consistent? Explain. 3. (6 marks) Use transFormational prooF to prove: ¬ ( a ⇒ b ) ∧ ( b ∨ c ) ⇒ c ⇚⇛ true 4. (6 marks) Use transFormational prooF to convert the Following Formula to DN±: ¬ ( ¬ d ∧ ¬ c ⇒ ¬ b ⇒ ¬ a ) 1...
View
Full
Document
This note was uploaded on 10/23/2009 for the course CS 245 taught by Professor A during the Spring '08 term at Waterloo.
 Spring '08
 A

Click to edit the document details