{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

Logic_Algorithms

# Logic_Algorithms - CS170:Logic&Algorithms...

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

CS 170: Logic & Algorithms Prof. Jim Appenzeller

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:  ¬

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.

{[ snackBarMessage ]}

### Page1 / 8

Logic_Algorithms - CS170:Logic&Algorithms...

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

View Full Document
Ask a homework question - tutors are online