Lec 02 logical eq (Discrete Mathematics)

Download Lec 02   logical eq (Discrete Mathematics)

Post on 15-Apr-2017

164 views

Category:

Education

1 download

TRANSCRIPT

  • LECTURE 02

    *

  • Textbook

    Discrete Mathematics & Its Applications - Kenneth H. Rosen

  • Topics to be covered todayPropositional EquivalencesPredicatesQuantifier

  • Propositional Equivalences

    TautologyA compound proposition that is always trueNo matter what the truth values of the propositions areContradictionA compound proposition that is always falseContingencyA 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 Morgans 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

    *