Logic_Algorithms

Logic_Algorithms - CS 170: Logic & Algorithms Prof. Jim...

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

View Full Document Right Arrow Icon
Prof. Jim Appenzeller speaker@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. My daughter is cuter than your daughter Not quantifiable. How do you put a truth value on  that ? Give me money This is a command, not a proposition
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”  ¬p     means “John is NOT an 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
Background image of page 6
Background image of page 7

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

View Full DocumentRight Arrow Icon
Background image of page 8
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 8

Logic_Algorithms - CS 170: Logic & Algorithms Prof. Jim...

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

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