Statements Containing Multiple Quantifiers Lecture 11 Section 2.3 Mon, Feb 5, 2007.

Slides:

Advertisements

Similar presentations

Nested Quantifiers Section 1.4.

Advertisements

1.3 Predicates and Quantifiers

Factoring x 2 + bx + c Section 9.5. Main Idea x 2 + bx + c = (x + p)(x + q) where p + q = b and pq = c.

MTH 065 Elementary Algebra II

The factor theorem The Factor Theorem states that if f(a) = 0 for a polynomial then (x- a) is a factor of the polynomial f(x). Example f(x) = x 2 + x -

5.1 GRAPHING QUADRATIC FUNCTIONS I can graph quadratic functions in standard form. I can graph quadratic functions in vertex form. I can graph quadratic.

Predicate Calculus Subject / Predicate John / went to the store. The sky / is blue. Propositional Logic - uses statements Predicate Calculus - uses predicates.

Discrete Structures Chapter 3: The Logic of Quantified Statements

Quantifiers and Negation Predicates. Predicate Will define function. The domain of a function is the set from which possible values may be chosen for.

CSci 2011 Discrete Mathematics Lecture 3 CSci 2011.

1. Solve: 2x 3 – 4x 2 – 6x = 0. (Check with GUT) 2. Solve algebraically or graphically: x 2 – 2x – 15> 0 1.

10.1 Graphing Quadratic Functions p. 17. Quadratic Functions Definition: a function described by an equation of the form f(x) = ax 2 + bx + c, where a.

Section 2.2 Notes: Linear Relations and Functions.

Unit 1 – First-Degree Equations and Inequalities

Nested Quantifiers. 2 Nested Iteration Let the domain be {1, 2, …, 10}. Let P(x, y) denote x > y.  x,  y, P(x, y) means  x, (  y, P(x, y) ) Is the.

Real Zeros of Polynomial Functions

Multiplying and Dividing Integers When you MULTIPLY: Two positives equal a positive Two negatives equal a positive One positive & one negative equal.

Today in Pre-Calculus Go over homework Notes: Remainder and Factor Theorems Homework.

Quadratics Solving equations Using “Completing the Square”

MA.912.A.4.2: Add, subtract, and multiply polynomials. Which of the following expressions is equivalent to (5x − 3) 2 ? A. 25x 2 − 30x + 9 B. 25x 2 −

Lecture 1.2: Equivalences, and Predicate Logic* CS 250, Discrete Structures, Fall 2011 Nitesh Saxena *Adopted from previous lectures by Cinda Heeren, Zeph.

Graphing Quadratic Functions Chapter 2 – Section 2.

Nesting Quantifiers And Their Manipulation Copyright © Curt Hill.

Today in Pre-Calculus Go over homework Notes: –Quadratic Functions Homework.

Statements with Multiple Quantifiers. When a statement contains more than one quantifier, we imagine the actions suggested by the quantifiers as being.

Solving Quadratic Equations by Graphing!. Quadratic functions vs. Quadratic equations Quadratic fxns are written in the following form f(x) = ax² + bx.

Multiplication of Real Numbers Section 2.5. Multiplying Rules 1) If the numbers have the same signs then the answer is positive. (-7) (-4) = 28 2) If.

Lecture Predicates and Quantifiers 1.4 Nested Quantifiers.

Lecture 7 – Jan 28, Chapter 2 The Logic of Quantified Statements.

COMP 170 L2 L08: Quantifiers. COMP 170 L2 Outline l Quantifiers: Motivation and Concepts l Quantifiers: Notations and Meaning l Saying things with Quantified.

Discrete Structures – CNS 2300

Objective - To multiply integers. Signs are the same Signs are different Simplify. 1) 2) 3) 4) 5) 6)

Algebra II Elements 5.2: Graph quadratic function in vertex or intercept form HW: p.232 (36-48 even) Tomorrow: projects are due, midterm review.

POLYNOMIALS 9/20/2015. STANDARD FORM OF A POLYNOMIAL ax + bx + cx … mx + k nn-1n-2 The degree is ‘n’

1 CMSC 250 Chapter 2, Predicate Logic. 2 CMSC 250 Definitions l Subject / predicate John / went to the store. The sky / is blue. l Propositional logic-

Algebra 1 Mini-Lessons 3x2y(6y + 12xy − 9x) 3(6x2y2 + 12x3y3 − 9x3y)

Lecture 1.2: Equivalences, and Predicate Logic CS 250, Discrete Structures, Fall 2015 Nitesh Saxena Adopted from previous lectures by Cinda Heeren, Zeph.

Math 20-1 Chapter 7 Absolute Value and Reciprocal Functions 7.2 Absolute Value Function Teacher Notes.

Splash Screen. Over Lesson 5–3 5-Minute Check 1 Over Lesson 5–3 5-Minute Check 2.

Direct Proof and Counterexample I Lecture 12 Section 3.1 Tue, Feb 6, 2007.

Factoring Factoring in the format ax2+bx+c Problem 1 X 2 + 7x + 10.

Section 1.5 and 1.6 Predicates and Quantifiers. Vocabulary Predicate Domain Universal Quantifier Existential Quantifier Counterexample Free variable Bound.

Direct Proof and Counterexample I Lecture 11 Section 3.1 Fri, Jan 28, 2005.

Mathematics for Comter I Lecture 3: Logic (2) Propositional Equivalences Predicates and Quantifiers.

Introduction to Predicates and Quantified Statements I Lecture 9 Section 2.1 Wed, Jan 31, 2007.

Last Answer LETTER I h(x) = 3x 4 – 8x Last Answer LETTER R Without graphing, solve this polynomial: y = x 3 – 12x x.

Algebra 2cc Section 2.10 Identify and evaluate polynomials A polynomial function is an expression in the form: f(x) = ax n + bx n-1 + cx n-2 + … dx + e.

[Default] [MC Any] [MC All] [Default] [MC Any] [MC All]

Internal & External Ratio

Lecture 1.2: Equivalences, and Predicate Logic

3. The Logic of Quantified Statements Summary

Sec. 4-3: Matrix Multiplication 8/24/17

Use a graphing calculator to graph the following functions

CS201: Data Structures and Discrete Mathematics I

1.4 Predicates and Quantifiers

A road map for predicate logic translation.

Introduction to Predicates and Quantified Statements II

2 Identities and Factorization

Introduction to Predicates and Quantified Statements II

Statements Containing Multiple Quantifiers

Introduction to Predicates and Quantified Statements I

Direct Proof and Counterexample I

CS201: Data Structures and Discrete Mathematics I

Statements Containing Multiple Quantifiers

Final Exam Review 30 Multiple Choice Questions (Equally Weighted)

2008 Multiple Choice.

Lecture 1.3: Predicate Logic

Inference Rules for Quantified Propositions

Presentation transcript:

Statements Containing Multiple Quantifiers Lecture 11 Section 2.3 Mon, Feb 5, 2007

Multiply Quantified Statements Multiple universal statements  x  S,  y  T, P(x, y)  y  T,  x  S, P(x, y) The order does not matter. Multiple existential statements  x  S,  y  T, P(x, y)  y  T,  x  S, P(x, y) The order does not matter.

Mixed Quantifiers Mixed universal and existential statements  x  S,  y  T, P(x, y)  y  T,  x  S, P(x, y) The order does matter. What is the difference? Compare  x  R,  y  R, x + y = 0.  y  R,  x  R, x + y = 0.

Mixed Quantifiers Which of the following are true?  x  R,  y  R,  z  R, x(y + z) = 0.  x  R,  y  R,  z  R, x(y + z) = 0.  x  R,  y  R,  z  R, x(y + z) = 0.

Multiply Quantified Statements In the statement  x  R,  y  R,  z  R, x(y + z) = 0. the predicate x(y + z) = 0 must be true for every y and for some x and for some z. However, the choice of x must not depend on y, while the choice of z may depend on y.

Examples Which of the following statements are true?  x  N,  y  N, y < x.  x  Q,  y  Q, y < x.  x  R,  y  R, y < x.  x  Q,  y  Q,  z  Q, x < z < y.

Negation of Multiply Quantified Statements Negate the statement  x  R,  y  R,  z  R, x(y + z) = 0.

Negation of Multiply Quantified Statements Negate the statement  x  R,  y  R,  z  R, x + y + z = 0.  (  x  R,  y  R,  z  R, x + y + z = 0)

Negation of Multiply Quantified Statements Negate the statement  x  R,  y  R,  z  R, x + y + z = 0.  (  x  R,  y  R,  z  R, x + y + z = 0)   x  R,  (  y  R,  z  R, x + y + z = 0)

Negation of Multiply Quantified Statements Negate the statement  x  R,  y  R,  z  R, x + y + z = 0.  (  x  R,  y  R,  z  R, x + y + z = 0)   x  R,  (  y  R,  z  R, x + y + z = 0)   x  R,  y  R,  (  z  R, x + y + z = 0)

Negation of Multiply Quantified Statements Negate the statement  x  R,  y  R,  z  R, x + y + z = 0.  (  x  R,  y  R,  z  R, x + y + z = 0)   x  R,  (  y  R,  z  R, x + y + z = 0)   x  R,  y  R,  (  z  R, x + y + z = 0)   x  R,  y  R,  z  R,  (x + y + z = 0)

Negation of Multiply Quantified Statements Negate the statement  x  R,  y  R,  z  R, x + y + z = 0.  (  x  R,  y  R,  z  R, x + y + z = 0)   x  R,  (  y  R,  z  R, x + y + z = 0)   x  R,  y  R,  (  z  R, x + y + z = 0)   x  R,  y  R,  z  R,  (x + y + z = 0)   x  R,  y  R,  z  R, x + y + z  0

Negation of Multiply Quantified Statements Consider the statement  c  R,  x  R, f(x) = cx has an x-intercept. Its negation is  c  R,  x  R, f(x) = cx has no x-intercept. Which statement is true? How would you prove it?

Negation of Multiply Quantified Statements Consider the statement  m, b  R,  x  R, f(x) = mx + b has an x-intercept. Its negation is  m, b  R,  x  R, f(x) = mx + b has no x-intercept. Which statement is true?

Negation of Multiply Quantified Statements Consider the statement  a, b, c  R,  x  R, f(x) = ax 2 + bx + c has an x-intercept. Its negation is  a, b, c  R,  x  R, f(x) = ax 2 + bx + c has no x-intercept. Which statement is true?

Negation of Multiply Quantified Statements Consider the statement  b, c  R,  s, t  R, x 2 + bx + c = (x – s) 2 + t. Its negation is  b, c  R,  s, t  R, x 2 + bx + c  (x – s) 2 + t. Which statement is true?