Lecture+07+-+Logic

# Lecture+07+-+Logic - CS170Lecture7: Logic KristianStout

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

CS 170 Lecture 7:  Logic Kristian Stout stouty@rci.rutgers.edu Office IN: Livingston Student Center, A lounge near “the rock” and the commuter lounge. Office Hours: TTH 5:30 – 6:30

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

View Full Document
A proposition is a declarative sentence that is  either true or false.  A proposition must be true or false. If it is not  true or false it is not a proposition. A proposition “declares a fact”
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.

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

View Full Document
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 dog is cuter than your dog Not quantifiable. How do you put a  truth value on that ? Give me money This is a command, not a proposition Maynard is not a proposition
What’s the point of using propositions? They give us building blocks for determining the  truth or falsehood of a given set of statements. Remember the bit?  On /off 1 / 0  True / false Presence and Absence ….Propositional logic is very important when working  with computer programs

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

View Full Document
Propositional Variables A propositional variable is just a letter that stands for  a proposition. Makes it easier to work with the truth-value of that
This is the end of the preview. Sign up to access the rest of the document.

## Lecture+07+-+Logic - CS170Lecture7: Logic KristianStout

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

View Full Document
Ask a homework question - tutors are online