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

Slides:

Advertisements

Similar presentations

1.3 Predicates and Quantifiers

Advertisements

Nested Quantifiers Needed to express statements with multiple variables Example 1: “x+y = y+x for all real numbers”  x  y(x+y = y+x) where the domains.

The Logic of Quantified Statements

Symbols and Sets of Numbers Equality Symbols Symbols and Sets of Numbers Inequality Symbols.

Chapter 1: The Foundations: Logic and Proofs 1.1 Propositional Logic 1.2 Propositional Equivalences 1.3 Predicates and Quantifiers 1.4 Nested Quantifiers.

9.1 – Symbols and Sets of Numbers Definitions: Natural Numbers: {1, 2, 3, 4, …} Whole Numbers: All natural numbers plus zero, {0, 1, 2, 3, …} Equality.

Discrete Mathematics Lecture 2 Alexander Bukharovich New York University.

CSE115/ENGR160 Discrete Mathematics 01/25/11 Ming-Hsuan Yang UC Merced 1.

Nested Quantifiers Goals: Explain how to work with nested quantiﬁers

Discrete Structures Chapter 3: The Logic of Quantified Statements

Discrete Structures Chapter 3: The Logic of Quantified Statements

Ch 1.3: Quantifiers Open sentences, or predicates, are sentences that contain one or more variables. They do not have a truth value until variables are.

1.2 – Open Sentences and Graphs

CSE115/ENGR160 Discrete Mathematics 01/20/11 Ming-Hsuan Yang UC Merced 1.

EE1J2 - Slide 1 EE1J2 – Discrete Maths Lecture 11 Introduction to Predicate Logic Limitations of Propositional Logic Predicates, quantifiers and propositions.

Discrete Math 6A Max Welling. Recap 1. Proposition: statement that is true or false. 2. Logical operators: NOT, AND, OR, XOR, ,  3. Compound proposition:

Negative and Zero Exponents Students will be able to use properties of negative and zero exponents to evaluate and simplify expressions.

4.2 Integer Exponents and the Quotient Rule

1.3 – AXIOMS FOR THE REAL NUMBERS. Goals  SWBAT apply basic properties of real numbers  SWBAT simplify algebraic expressions.

Predicates and Quantifiers

Chapter 1: The Foundations: Logic and Proofs

CSci 2011 Discrete Mathematics Lecture 3 CSci 2011.

Discrete Maths Objective to introduce predicate logic (also called the predicate calculus) , Semester 2, Predicate Logic 1.

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.

Chapter 1, Part II: Predicate Logic With Question/Answer Animations.

Chapter 5 Section 2. Objectives 1 Copyright © 2012, 2008, 2004 Pearson Education, Inc. Use 0 as an exponent. Use negative numbers as exponents. Use the.

Section Concepts 2.4 Definitions of b 0 and b –n Slide 1 Copyright (c) The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

7-1 Zero and Negative Exponents

Chapter 1 Section 6. Objectives 1 Copyright © 2012, 2008, 2004 Pearson Education, Inc. Multiplying and Dividing Real Numbers Find the product of a positive.

Copyright © 2011 Pearson Education, Inc. Linear and Absolute Value Inequalities Section 1.7 Equations, Inequalities, and Modeling.

Chapter 1: The Foundations: Logic and Proofs 1.1 Propositional Logic 1.2 Propositional Equivalences 1.3 Predicates and Quantifiers 1.4 Nested Quantifiers.

Section 2.1 Solving Equations Using Properties of Equality.

Math 51/COEN 19 Day 3, 1.4 Quantifiers 1. 3 Predicates A lot like functions that return booleans Let P(x) denote x

 I can identify and use the properties of real numbers.

(CSC 102) Lecture 8 Discrete Structures. Previous Lectures Summary Predicates Set Notation Universal and Existential Statement Translating between formal.

Predicates and Quantified Statements

Chapter 2 The Logic of Quantified Statements. Section 2.1 Intro to Predicates & Quantified Statements.

1 Introduction to Abstract Mathematics Predicate Logic Instructor: Hayk Melikya Purpose of Section: To introduce predicate logic (or.

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

Discrete Mathematics CS 2610 August 22, Agenda Last class Propositional logic Logical equivalences This week Predicate logic & rules of inference.

Discrete Structures – CNS 2300

CS 285- Discrete Mathematics Lecture 4. Section 1.3 Predicate logic Predicate logic is an extension of propositional logic that permits concisely reasoning.

1.6. DEFINITIONS  An equation is a statement that two expressions are equal.  Usually contains 1 or more variables  A variable is a symbol that represents.

Predicates and Quantifiers Dr. Yasir Ali. 1.Predicates 2.Quantifiers a.Universal Quantifiers b.Existential Quantifiers 3.Negation of Quantifiers 4.Universal.

Copyright © Cengage Learning. All rights reserved. Polynomials 4.

Section 1.4. Propositional Functions Propositional functions become propositions (and have truth values) when their variables are each replaced by a value.

+ Properties of Real Numbers. + Properties Relationships that are always true fro real numbers are called properties. Properties are rules used to rewrite.

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

Review of Equations and Inequalities An equation is a mathematical statement that two qualities are equal. Linear Equation in one variable can be written.

Algebraic Expressions

1.8 Dividing Real Numbers Objectives To Divide Real Numbers To evaluate algebraic expressions involving multiplication and division.

رياضيات متقطعة لعلوم الحاسب MATH 226. Chapter 1 Predicates and Quantifiers 1.4.

CSE15 Discrete Mathematics 01/25/17

3. The Logic of Quantified Statements Summary

Nested Quantifiers Goals: Explain how to work with nested quantiﬁers

5.2/5.9 Polynomial & Linear Factors

Negations of Quantified Statements

Chapter 1 The Foundations: Logic and Proofs

Introduction to Predicates and Quantified Statements II

Introduction to Predicates and Quantified Statements I

Discrete Mathematics Lecture 4 & 5: Predicate and Quantifier

Discrete Mathematics Lecture 3: Predicate and Quantifier

Discrete Mathematics CMP-200 Propositional Equivalences, Predicates & Quantifiers, Negating Quantified Statements Abdul Hameed

1.3 – AXIOMS FOR THE REAL NUMBERS

Discrete Mathematics Lecture 4 & 5: Predicate and Quantifier

ICS 253: Discrete Structures I

Copyright © Cengage Learning. All rights reserved.

Predicates and Quantifiers

Discrete Mathematics Lecture 4 Logic of Quantified Statements

Copyright © Cengage Learning. All rights reserved.

Presentation transcript:

Statements with Multiple Quantifiers

When a statement contains more than one quantifier, we imagine the actions suggested by the quantifiers as being performed in the order in which the quantifiers occur. Also the variables may take values in different sets.

Possible Scenarios with Two variables(1) Let P(x, y) be a predicate with two variables, x in set D and y in set E ∀ x in set D, ∃ y in set E such that x and y satisfy property P(x, y). For each (or for all) x in D, there is one y in E that works

Example Definition: The reciprocal of a real number m is a real number n such that m*n = 1 "Every nonzero real number has a reciprocal" P(x, y): y is the reciprocal of x Is it true?

Let P(x, y) be a predicate with two variables, x in set D and y in set E ∃ x in set D, ∀ y in set E such that x and y satisfy property P(x, y). There is one x in D that works for any y in E Possible Scenarios with Two variables(2)

Example "There is a real number with no reciprocal" P(x, y ): y is the reciprocal of x Is it true?

Let P(x, y) be a predicate with two variables, x in set D and y in set E ∃ x in set D, ∃ y in set E such that x and y satisfy property P(x, y). There is an x in D and a y in E that work Possible Scenarios with Two variables(3)

Example A student in the Discrete Math class owns a boat D: discrete math students B: collection of boats Q(x, y): x owns y

Let P(x, y) be a predicate with two variables, x in set D and y in set E ∀ x in set D, ∀ y in set E such that x and y satisfy property P(x, y). Any x in D and any y in E work. Possible Scenarios with Two variables(3)

Example The product of two negative real numbers is positive T(x, y): x y >0

Negating Multiple Quantifiers At each step consider one variable.

Other equivalences

Practice Negate each of the following statements by following these steps: 1.Write them in symbolic logic 2.Negate the symbolic expression 3.Translate it back into English, as simple as possible

Each student has an ID number Some human beings do not have any disease There is a virus which is not detected by any antivirus program The product of two non-zero numbers is not zero