Logic _ Algorithms

Logic _ Algorithms - CS170:Logic&Algorithms KristianStout

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

View Full Document Right Arrow Icon
CS 170: Logic & Algorithms Kristian Stout stouty@rci.rutgers.edu
Background image of page 1

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

View Full DocumentRight Arrow Icon
Examples of propositions 1 + 1 = 2 Canada is the 51 st  state Rutgers has a campus in New Brunswick Each of the above statements has a clear “truth value”; whether that is True  or False. Thus they are each a proposition.
Background image of page 2
Examples of non-propositions Do you like ice cream? Not a proposition; a question X + 1 = 2 Not a proposition; what is x ? We don’t  know and can’t tell it’s truth value. Maynard the dog is cuter than your  dog Not quantifiable. How do you put a  truth value on that ? Give me money
Background image of page 3

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

View Full DocumentRight Arrow Icon
Propositional Variables p Let p be “The president is the Chief Executive” q Let q be “You received a speeding ticket”
Background image of page 4
Logical Symbols / Operations Negation: ¬   Let   p   be “John is American”
Background image of page 5

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

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

This note was uploaded on 02/08/2011 for the course COMP APPS 198 taught by Professor Stout during the Fall '10 term at Rutgers.

Page1 / 9

Logic _ Algorithms - CS170:Logic&Algorithms KristianStout

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

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