CS245 Lecture Notes - Propositional Calculus, Eugenius Warming
This preview shows half of the first page. to view the full 3 pages of the document.
CS 245 Winter 2009
Due: Thu 22 Jan 2009 10am in the CS245 Drop Boxes
There are multiple correct answers to some of these questions.
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.
•h– the class was held
•w– the weather was warm
(b) It rains when it is not winter.
•r– it rains
•w– it is winter
You're Reading a Preview
Unlock to view full version