This preview shows pages 1–2. Sign up to view the full content.
CS70 Discrete Mathematics and Probability, Spring 2012
Homework 1
Out: Jan. 19; Due: Jan. 26
Instructions:
Start each problem on a new sheet. Write your name,
section number
and “CS70” on every sheet. If
you use more than one sheet for a single problem, staple them together (but do
not
staple different problems together).
Put your solutions in the homework boxes on Soda level 2 by 5pm on Thursday, as follows: your solution to Q1 goes
in box CS70–1, your solution to Q2 goes in box CS70–2, and so on. (Thus you will be putting your solutions in
ﬁve
separate boxes.) You are encouraged to form small groups (two to four people) to work through the homework, but
you
must
write up all your solutions on your own.
1.
[
Classical logic]
Here is an extract from Lewis Carroll’s treatise
Symbolic Logic
of 1896:
(I) No one, who is going to a party, ever fails to brush his or her hair.
(II) No one looks fascinating, if he or she is untidy.
(III) Opiumeaters have no selfcommand.
(IV) Everyone who has brushed his or her hair looks fascinating.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
This is the end of the preview. Sign up
to
access the rest of the document.
 Spring '08
 PAPADIMITROU

Click to edit the document details