Lect8_Fa18_BC.pdf - CSE 20 DISCRETE MATH Fall 2018...

This preview shows page 1 - 10 out of 27 pages.

CSE 20 DISCRETE MATHFall 2018
Today's learning goalsTranslate quantified statements to English, even in the presence of nested quantifiersEvaluate the truth value of a quantified statement with nested quantifiersDistinguish between a theorem, an axiom, a lemma, a corollary, and a conjecture.Recognize direct proofsTextbook references: Sections 1.7-1.8 (with reference to 1.6)
Logistics: Homework feedbackSolutions on PiazzaCommon Issues post on PiazzaComments on GradescopeCheck even if you got full creditThink our grading was incorrect? Look at all of the above before requesting a regrade
Evaluating quantified statementsRosen p. 64 #1In which domain is this statement nottrue?
Translation Rosen p. 66 #23"The product of two negative real numbers is positive."
Translation Rosen p. 66 #23"The difference between a real number and itself is zero."
Translation Rosen p. 66 #23"A negative real number does not have a square root that is a real number."
Translation Rosen p. 66 #23"Every positive real number has exactly two square roots."
Logical equivalenceRosen

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture