DiscreteMathematic Chapter1:LogicandProof 2Chapter1.3&1.4 3Chapter1.3&1.4 Agenda Ch1.3PredicatesandQuantifiers Predicates Quantifiers QuantifierswithRestrictedDomains PrecedenceofQuantifiers LogicalEquivalencesInvolvingQuantifiers Translation Ch1.4NestedQuantifiers NestedQuantifiers ...
Logically Equivalent Quantifiers > ¬∀x P(x) ≡ ∃x ¬P(x) > ¬∃x P(x) ≡ ∀x ¬P(x) Nested Quantifiers -a logical expression with more than one quantifier that bind different variables in the same predicate > EX: ∃y ∃z T(x,y,z) ...