Lec 02 logical eq (Discrete Mathematics)

LECTURE 02

http://www.google.com/imgres?imgurl=http://upload.wikimedia.org/wikipedia/en/3/32/Aiub.png&imgrefurl=http://en.wikipedia.org/wiki/File:Aiub.png&h=423&w=419&sz=137&tbnid=3n_sXZr5lLI9aM:&tbnh=226&tbnw=223&prev=/images%3Fq%3DAIUB%2BLOGO&hl=en&usg=__JVgxiya7PLDNUuF68XrSA4PjGk4=&sa=X&ei=gBppTNqqOdOk4QbRyJGZBA&ved=0CBoQ9QEwAA

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



De Morgan’s Law



Predicates

Predicates

QuantifiersUniversal Quantifier

Universal Quantifier

Universal Quantifier

Existential Quantifier



Binding Variables

Negative Quantified Expression

Nested Quantifiers

Nested Quantifiers

Lec 02 logical eq (Discrete Mathematics)

Education