CMPSC360hw1 - CMPSC 360 Discrete Mathematics for Computer...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
CMPSC 360 Discrete Mathematics for Computer Science, Fall 2008 Homework 1 Out: Aug. 28, Due: Sept. 4 by 5:00pm Instructions: Write your name, section number and “CMPSC 360” on your assignments. Put your solutions in the homework box in 342E by 5pm on Thursday. Please review the homework policy on the syllabus handed out in class. 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) Opium-eaters have no self-command. (IV) Everyone who has brushed his or her hair looks fascinating. (V) No one wears kid gloves, unless he or she is going to a party. (VI) A person is always untidy if he or she has no self-command. (a) Write each of the above six sentences as a quantified proposition over the universe of all people. You should use the following symbols for the various elementary propositions: P ( x ) for “ x goes to a party”,
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 10/08/2008 for the course CMPSC 360 taught by Professor Haullgren during the Fall '08 term at Penn State.

Page1 / 2

CMPSC360hw1 - CMPSC 360 Discrete Mathematics for Computer...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online