cs245-asn1

Cs245-asn1 - 2(6 marks ±or the Following ¬ b ⇒ a b ∨ c ⊢ c(a Do the premises logically imply the conclusion Explain your response and

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
CS 245 Winter 2009 Assignment 1 Due: Thu 22 Jan 2009 10am in the CS245 Drop Boxes 27 marks You must submit your assignment with a cover page produced using makeCover , otherwise you will lose 2 marks. Assignments are to be completed individually. The policy on academic ofenses is on the course web page. 1. (9 marks) Express each oF the Following sentences as a Formula in propositional logic. ±or each proposition letter you use, be sure to state the English phrase it represents. (a) The class was held although the weather was warm. (b) It rains when it is not winter. (c) I will go grocery shopping exactly iF it is not snowing and I have money.
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

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.

Ask a homework question - tutors are online