CS245 Lecture Notes - Propositional Calculus, Eugenius Warming

80 views3 pages
16 Oct 2011
Course
Professor

For unlimited access to Class Notes, a Class+ subscription is required.

CS 245 Winter 2009
Assignment 1
Due: Thu 22 Jan 2009 10am in the CS245 Drop Boxes
27 marks
SOLUTION SET
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.
hw
where
h– the class was held
w– the weather was warm
(b) It rains when it is not winter.
¬wr
where
r– it rains
w– it is winter
1
Unlock document

This preview shows page 1 of the document.
Unlock all 3 pages and 3 million more documents.

Already have an account? Log in

Get access

Grade+
$10 USD/m
Billed $120 USD annually
Homework Help
Class Notes
Textbook Notes
40 Verified Answers
Study Guides
1 Booster Class
Class+
$8 USD/m
Billed $96 USD annually
Homework Help
Class Notes
Textbook Notes
30 Verified Answers
Study Guides
1 Booster Class