Logic_Algorithms

# Logic_Algorithms - CS170:Logic&Algorithms...

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

Prof. Jim Appenzeller [email protected]

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

View Full Document
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.
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

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

View Full Document
Propositional Variables p Let p be “The president is the Chief Executive” q Let q be “You received a speeding ticket”
Logical Symbols / Operations Negation: ¬   Let   p   be “John is American”  ¬p     means “John is NOT an American”

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

View Full Document

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.

## This note was uploaded on 10/21/2011 for the course COMP APPS 190:178 taught by Professor Jimappenzeller during the Spring '11 term at Rutgers.

### Page1 / 8

Logic_Algorithms - CS170:Logic&Algorithms...

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

View Full Document
Ask a homework question - tutors are online