lec 02 logical eq (discrete mathematics)
TRANSCRIPT
Textbook
Discrete Mathematics & Its Applications - Kenneth H. Rosen
Topics to be covered todayPropositional
EquivalencesPredicatesQuantifier
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
Logical EquivalencesCompound propositions that have the same truth values in
all possible cases Are called Logically Equivalent
Logical Equivalences
Logical Equivalences
Logical Equivalences
De Morgan’s Law
Logical Equivalences
Logical Equivalences
Predicates
Predicates
QuantifiersUniversal Quantifier
Universal Quantifier
Universal Quantifier
Existential Quantifier
Existential Quantifier
Existential Quantifier
Binding Variables
Negative Quantified Expression
Nested Quantifiers
Nested Quantifiers