{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

cs245-asn1

# cs245-asn1 - 2(6 marks ±or the Following ¬ b ⇒ a b ∨...

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

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 offenses is on the course web page. 1. (9 marks) Express each of the following sentences as a formula in propositional logic. For 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.
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

{[ snackBarMessage ]}