DS_Lecture_2.pdf - Lecture 2 Propositional Logic Dr Chengjiang Long Computer Vision Researcher at Kitware Inc Adjunct Professor at SUNY at Albany Email

DS_Lecture_2.pdf - Lecture 2 Propositional Logic Dr...

• Notes
• 40

This preview shows page 1 - 12 out of 40 pages.

Lecture 2: Propositional Logic Dr. Chengjiang Long Computer Vision Researcher at Kitware Inc. Adjunct Professor at SUNY at Albany. Email: [email protected]

Subscribe to view the full document.

C. Long Lecture 2 August 30, 2018 2 ICEN/ICSI210 Discrete Structures Introduction: Logic? Logic 1) is the study of the logic relationships between objects 2) forms the basis of all mathematical reasoning and all automated reasoning
C. Long Lecture 2 August 30, 2018 3 ICEN/ICSI210 Discrete Structures Introduction: PL? In Propositional Logic (a.k.a Propositional Calculus or Sentential Logic), the objects are called propositions Definition : A proposition is a statement that is either true or false , but not both We usually denote a proposition by a letter: p , q , r , s ,

Subscribe to view the full document.

C. Long Lecture 2 August 30, 2018 4 ICEN/ICSI210 Discrete Structures Outline Defining Propositional Logic Precedence of Logical Operators Usefulness of Logic Logical Equivalences
C. Long Lecture 2 August 30, 2018 5 ICEN/ICSI210 Discrete Structures Outline Defining Propositional Logic Precedence of Logical Operators Usefulness of Logic Logical Equivalences

Subscribe to view the full document.

C. Long Lecture 2 August 30, 2018 6 ICEN/ICSI210 Discrete Structures Introduction: Proposition Definition : The value of a proposition is called its truth value ; denoted by T or 1 if it is true or F or 0 if it is false Opinions , interrogative , and imperative are not propositions Truth table p 0 1
C. Long Lecture 2 August 30, 2018 7 ICEN/ICSI210 Discrete Structures Propositions Propositional logic operates with statements. Statements could be true or false and are called propositions . Is the sentence proposition? Richmond is the capital of Virginia. 2 + 3 = 7. Open the door. 5 + 7 < 10. The moon is a satellite of the earth. x + 5 = 7. x + 5 > 9 for every real number x . Yes (True) Yes (False) No Yes (False) Yes (True) No Yes (False)

Subscribe to view the full document.

C. Long Lecture 2 August 30, 2018 8 ICEN/ICSI210 Discrete Structures Propositions: Examples The following are propositions Today is Monday The grass is wet It is raining The following are not propositions C++ is the best language Opinion When is the pretest? Interrogative Do your homework Imperative
C. Long Lecture 2 August 30, 2018 9 ICEN/ICSI210 Discrete Structures Are these propositions? 2+2=5 Every integer is divisible by 12 Microsoft is an excellent company

Subscribe to view the full document.

C. Long Lecture 2 August 30, 2018 10 ICEN/ICSI210 Discrete Structures Logical connectives Connectives are used to create a compound proposition from two or more propositions Negation (denote ~ or ¬ or !) $\neg$ And or logical conjunction (denoted Ù ) $\wedge$ Or or logical disjunction (denoted Ú ) $\vee$ XOR or exclusive or (denoted Å ) $\xor$ Implication (denoted Þ or ® ) $\Rightarrow$, $\rightarrow$ Biconditional (denoted Û or « ) $\LeftRightarrow$, $\leftrightarrow$ We define the meaning (semantics) of the logical connectives using truth tables
C. Long Lecture 2 August 30, 2018 11 ICEN/ICSI210 Discrete Structures Logical Connective: Negation ¬ p , the negation of a proposition p , is also a proposition Examples: Today is not Monday It is not the case that today is Monday, etc.

Subscribe to view the full document.

• Spring '14
• IASHVILI,I

What students are saying

• As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

Kiran Temple University Fox School of Business ‘17, Course Hero Intern

• I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

Dana University of Pennsylvania ‘17, Course Hero Intern

• The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

Jill Tulane University ‘16, Course Hero Intern