CSE 20 DISCRETE MATHFall 2018

Today's learning goals•Translate quantified statements to English, even in the presence of nested quantifiers•Evaluate the truth value of a quantified statement with nested quantifiers•Distinguish 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 feedback•Solutions on Piazza•Common Issues post on Piazza•Comments on Gradescope•Check even if you got full credit•Think 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