Download - Lec 02 logical eq (Discrete Mathematics)
![Page 2: Lec 02 logical eq (Discrete Mathematics)](https://reader036.vdocument.in/reader036/viewer/2022062306/587b06e81a28abb15c8b45cf/html5/thumbnails/2.jpg)
Textbook
Discrete Mathematics & Its Applications - Kenneth H. Rosen
![Page 3: Lec 02 logical eq (Discrete Mathematics)](https://reader036.vdocument.in/reader036/viewer/2022062306/587b06e81a28abb15c8b45cf/html5/thumbnails/3.jpg)
Topics to be covered todayPropositional
EquivalencesPredicatesQuantifier
![Page 4: Lec 02 logical eq (Discrete Mathematics)](https://reader036.vdocument.in/reader036/viewer/2022062306/587b06e81a28abb15c8b45cf/html5/thumbnails/4.jpg)
Propositional EquivalencesTautologyA compound proposition that is always true
No matter what the truth values of the propositions are Contradiction A compound proposition that is always false Contingency A compound proposition that is neither a tautology nor a contradiction
![Page 5: Lec 02 logical eq (Discrete Mathematics)](https://reader036.vdocument.in/reader036/viewer/2022062306/587b06e81a28abb15c8b45cf/html5/thumbnails/5.jpg)
Logical EquivalencesCompound propositions that have the same truth values in
all possible cases Are called Logically Equivalent
![Page 6: Lec 02 logical eq (Discrete Mathematics)](https://reader036.vdocument.in/reader036/viewer/2022062306/587b06e81a28abb15c8b45cf/html5/thumbnails/6.jpg)
Logical Equivalences
![Page 7: Lec 02 logical eq (Discrete Mathematics)](https://reader036.vdocument.in/reader036/viewer/2022062306/587b06e81a28abb15c8b45cf/html5/thumbnails/7.jpg)
Logical Equivalences
![Page 8: Lec 02 logical eq (Discrete Mathematics)](https://reader036.vdocument.in/reader036/viewer/2022062306/587b06e81a28abb15c8b45cf/html5/thumbnails/8.jpg)
Logical Equivalences
![Page 9: Lec 02 logical eq (Discrete Mathematics)](https://reader036.vdocument.in/reader036/viewer/2022062306/587b06e81a28abb15c8b45cf/html5/thumbnails/9.jpg)
De Morgan’s Law
![Page 10: Lec 02 logical eq (Discrete Mathematics)](https://reader036.vdocument.in/reader036/viewer/2022062306/587b06e81a28abb15c8b45cf/html5/thumbnails/10.jpg)
Logical Equivalences
![Page 11: Lec 02 logical eq (Discrete Mathematics)](https://reader036.vdocument.in/reader036/viewer/2022062306/587b06e81a28abb15c8b45cf/html5/thumbnails/11.jpg)
Logical Equivalences
![Page 12: Lec 02 logical eq (Discrete Mathematics)](https://reader036.vdocument.in/reader036/viewer/2022062306/587b06e81a28abb15c8b45cf/html5/thumbnails/12.jpg)
Predicates
![Page 13: Lec 02 logical eq (Discrete Mathematics)](https://reader036.vdocument.in/reader036/viewer/2022062306/587b06e81a28abb15c8b45cf/html5/thumbnails/13.jpg)
Predicates
![Page 14: Lec 02 logical eq (Discrete Mathematics)](https://reader036.vdocument.in/reader036/viewer/2022062306/587b06e81a28abb15c8b45cf/html5/thumbnails/14.jpg)
QuantifiersUniversal Quantifier
![Page 15: Lec 02 logical eq (Discrete Mathematics)](https://reader036.vdocument.in/reader036/viewer/2022062306/587b06e81a28abb15c8b45cf/html5/thumbnails/15.jpg)
Universal Quantifier
![Page 16: Lec 02 logical eq (Discrete Mathematics)](https://reader036.vdocument.in/reader036/viewer/2022062306/587b06e81a28abb15c8b45cf/html5/thumbnails/16.jpg)
Universal Quantifier
![Page 17: Lec 02 logical eq (Discrete Mathematics)](https://reader036.vdocument.in/reader036/viewer/2022062306/587b06e81a28abb15c8b45cf/html5/thumbnails/17.jpg)
Existential Quantifier
![Page 18: Lec 02 logical eq (Discrete Mathematics)](https://reader036.vdocument.in/reader036/viewer/2022062306/587b06e81a28abb15c8b45cf/html5/thumbnails/18.jpg)
Existential Quantifier
![Page 19: Lec 02 logical eq (Discrete Mathematics)](https://reader036.vdocument.in/reader036/viewer/2022062306/587b06e81a28abb15c8b45cf/html5/thumbnails/19.jpg)
Existential Quantifier
![Page 20: Lec 02 logical eq (Discrete Mathematics)](https://reader036.vdocument.in/reader036/viewer/2022062306/587b06e81a28abb15c8b45cf/html5/thumbnails/20.jpg)
Binding Variables
![Page 21: Lec 02 logical eq (Discrete Mathematics)](https://reader036.vdocument.in/reader036/viewer/2022062306/587b06e81a28abb15c8b45cf/html5/thumbnails/21.jpg)
Negative Quantified Expression
![Page 22: Lec 02 logical eq (Discrete Mathematics)](https://reader036.vdocument.in/reader036/viewer/2022062306/587b06e81a28abb15c8b45cf/html5/thumbnails/22.jpg)
Nested Quantifiers
![Page 23: Lec 02 logical eq (Discrete Mathematics)](https://reader036.vdocument.in/reader036/viewer/2022062306/587b06e81a28abb15c8b45cf/html5/thumbnails/23.jpg)
Nested Quantifiers