Class Notes (1,100,000)
CA (630,000)
UW (20,000)
CS (1,000)
CS245 (60)
Lecture

CS245 Lecture Notes - Propositional Calculus, Eugenius Warming


Department
Computer Science
Course Code
CS245
Professor
Nancy Day

This preview shows half of the first page. to view the full 3 pages of the document.
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
You're Reading a Preview

Unlock to view full version