Lecture+07+-+Logic

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

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

View Full Document Right Arrow Icon
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
Background image of page 1

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

View Full DocumentRight Arrow Icon
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”
Background image of page 2
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 3

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

View Full DocumentRight Arrow Icon
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
Background image of page 4
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  
Background image of page 5

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

View Full DocumentRight Arrow Icon
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 
Background image of page 6
Image of page 7
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 20

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

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

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