SPEAKING MATHEMATICALLY. Prepared by Engr. John Paul Timola

Similar documents
THE LOGIC OF QUANTIFIED STATEMENTS. Predicates and Quantified Statements I. Predicates and Quantified Statements I CHAPTER 3 SECTION 3.

Section 2.1: Introduction to the Logic of Quantified Statements

THE LOGIC OF QUANTIFIED STATEMENTS

Chapter 2: The Logic of Quantified Statements. January 22, 2010

3 The language of proof

Discrete Mathematical Structures: Theory and Applications

Chapter 1 : The language of mathematics.

Background for Discrete Mathematics

Math 10850, fall 2017, University of Notre Dame

Functions and Their Graphs

MATH 1111 Section P.1 Bland. Algebraic Expressions - An algebraic expression is a combination of variables and numbers using operations.

Chapter 2. Limits and Continuity 2.6 Limits Involving Infinity; Asymptotes of Graphs

Discrete Mathematics. W. Ethan Duckworth. Fall 2017, Loyola University Maryland

THE LOGIC OF QUANTIFIED STATEMENTS

The Plane of Complex Numbers

5. Use a truth table to determine whether the two statements are equivalent. Let t be a tautology and c be a contradiction.

ELEMENTARY NUMBER THEORY AND METHODS OF PROOF

Evaluating Limits Analytically. By Tuesday J. Johnson

Sec$on Summary. Definition of sets Describing Sets

MTH4100 Calculus I. Lecture notes for Week 2. Thomas Calculus, Sections 1.3 to 1.5. Rainer Klages

Test Bank Questions. (a) Is there an integer n such that n has? (b) Does there exist such that if n is divided by 4 the remainder is 1 and if?

Section 7.1: Functions Defined on General Sets

Mathematics for Business and Economics - I. Chapter 5. Functions (Lecture 9)

Exclusive Disjunction

Functions and relations

2.3 Composite Functions. We have seen that the union of sets A and B is defined by:

SECTION 2.3: LONG AND SYNTHETIC POLYNOMIAL DIVISION

Sets and Functions. (As we will see, in describing a set the order in which elements are listed is irrelevant).

1. Introduction to commutative rings and fields

Chapter-2 Relations and Functions. Miscellaneous

Section 1.2 Combining Functions; Shifting and Scaling Graphs. (a) Function addition: Given two functions f and g we define the sum of f and g as

MAT 243 Test 2 SOLUTIONS, FORM A

Math Lecture 23 Notes

1 Predicates and Quantifiers

Review all the activities leading to Midterm 3. Review all the problems in the previous online homework sets (8+9+10).

Chapter 1. Functions 1.1. Functions and Their Graphs

What is model theory?

Theorem. For every positive integer n, the sum of the positive integers from 1 to n is n(n+1)

Sets are one of the basic building blocks for the types of objects considered in discrete mathematics.

Chapter 1 Elementary Logic

UMASS AMHERST MATH 300 SP 05, F. HAJIR HOMEWORK 8: (EQUIVALENCE) RELATIONS AND PARTITIONS

Content Area: MATHEMATICS Grade Level:

Quantifiers Here is a (true) statement about real numbers: Every real number is either rational or irrational.

Direct Proof and Counterexample I:Introduction

CHAPTER 1. REVIEW: NUMBERS

In this initial chapter, you will be introduced to, or more than likely be reminded of, a

Direct Proof and Counterexample I:Introduction. Copyright Cengage Learning. All rights reserved.

One-to-one functions and onto functions

7.EE.A.1 Apply properties of operations as strategies to add, subtract, factor, and expand linear expressions with rational coefficients.

Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics Lecture notes in progress (27 March 2010)

About This Document. MTH299 - Examples Weeks 1-6; updated on January 5, 2018

With Question/Answer Animations. Chapter 2

A set is an unordered collection of objects.

SYMBOLIC LOGIC UNIT 10: SINGULAR SENTENCES

1.5 MATHEMATICAL LANGUAGE

CHAPTER 1: Functions

1. Introduction to commutative rings and fields

Chapter Summary. Sets (2.1) Set Operations (2.2) Functions (2.3) Sequences and Summations (2.4) Cardinality of Sets (2.5) Matrices (2.

Ch. 12 Higher Degree Equations Rational Root

Section 3.1: Direct Proof and Counterexample 1

Name (please print) Mathematics Final Examination December 14, 2005 I. (4)

Section 0. Sets and Relations

In Exercises 1 12, list the all of the elements of the given set. 2. The set of all positive integers whose square roots are less than or equal to 3

Logical Reasoning. Chapter Statements and Logical Operators

MA103 STATEMENTS, PROOF, LOGIC

MSM120 1M1 First year mathematics for civil engineers Revision notes 3

Functions. Copyright Cengage Learning. All rights reserved.

Mathematical Preliminaries. Sipser pages 1-28

Section 1.3. Let I be a set. When I is used in the following context,

arb where a A, b B and we say a is related to b. Howdowewritea is not related to b? 2Rw 1Ro A B = {(a, b) a A, b B}

Name. Use Two-Color Counters to model each addition problem. Make pairs of red and yellow counters. Find the sum.

Foundations of Discrete Mathematics

Introducing Proof 1. hsn.uk.net. Contents

1.1 Language and Logic

Section 2.3: Statements Containing Multiple Quantifiers

Chapter 2 - Basics Structures MATH 213. Chapter 2: Basic Structures. Dr. Eric Bancroft. Fall Dr. Eric Bancroft MATH 213 Fall / 60

Mathematics 1 Lecture Notes Chapter 1 Algebra Review

Math 300: Foundations of Higher Mathematics Northwestern University, Lecture Notes

UNIT 4 NOTES: PROPERTIES & EXPRESSIONS

NAME DATE PERIOD. Operations with Polynomials. Review Vocabulary Evaluate each expression. (Lesson 1-1) 3a 2 b 4, given a = 3, b = 2

2.2 Graphs of Functions

THE LOGIC OF QUANTIFIED STATEMENTS. Statements with Multiple Quantifiers. Statements with Multiple Quantifiers CHAPTER 3 SECTION 3.

Chapter 3. The Logic of Quantified Statements

Notice that we are switching from the subtraction to adding the negative of the following term

Chapter Summary. Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Computability

Simplifying Rational Expressions and Functions

SCHOOL OF BUSINESS, ECONOMICS AND MANAGEMENT BUSINESS MATHEMATICS / MATHEMATICAL ANALYSIS

Unit 4 - Equations and Inequalities - Vocabulary

Comparison of Virginia s College and Career Ready Mathematics Performance Expectations with the Common Core State Standards for Mathematics

The Limit of Humanly Knowable Mathematical Truth

586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws

Section 3.1 Quadratic Functions

Chapter P. Prerequisites. Slide P- 1. Copyright 2007 Pearson Education, Inc. Publishing as Pearson Addison-Wesley

Predicates, Quantifiers and Nested Quantifiers

Discrete Math I Exam II (2/9/12) Page 1

Chapter 2. Polynomial and Rational Functions. 2.6 Rational Functions and Their Graphs. Copyright 2014, 2010, 2007 Pearson Education, Inc.

Algebra 1 Standards Curriculum Map Bourbon County Schools. Days Unit/Topic Standards Activities Learning Targets ( I Can Statements) 1-19 Unit 1

6x 3 12x 2 7x 2 +16x 7x 2 +14x 2x 4

Abstract & Applied Linear Algebra (Chapters 1-2) James A. Bernhard University of Puget Sound

SECTION 1.4: FUNCTIONS. (See p.40 for definitions of relations and functions and the Technical Note in Notes 1.24.) ( ) = x 2.

Transcription:

SPEAKING MATHEMATICALLY Prepared by Engr. John Paul Timola

VARIABLE used as a placeholder when you want to talk about something but either (1) has one or more values but you don t know what they are, or (2) equally true for all elements in a given set, and so you don t want to be restricted to considering only a particular, concrete value for it.

Example 1 Is there a number with the following property: doubling it and adding 3 gives the result as squaring it? Is there a number x with the property that 2x + 3 = x 2? Is there a number with the property that 2 + 3 = 2

Example 2 No matter what number might be chosen, if it is greater than 2, then its square is greater than 4. No matter what number n might be chosen, if n is greater than 2, then n 2 is greater than 4.

Writing Sentences using variables Are there numbers with the property that the sum of their squares equals the square of their sum? Given any real number, its square is nonnegative

SOME IMPORTANT KINDS OF MATHEMATICAL STATEMENTS A universal statement says that a certain property is true for all elements in a set. For example: All positive numbers are greater than zero.

A conditional statement says that if one thing is true then some other thing also has to be true. For example: If 378 is divisible by 18, then 378 is divisible by 6.

Given a property that may or may not be true, an existential statement says that there is at least one thing for which the property is true. For example: There is a prime number that is even.

Universal Conditional Statements Universal statements --- for all Conditional statements--- if-then A universal conditional statement is a statement that is both universal and conditional. Example: For all animals a, if a is a dog, then a is a mammal.

Example For all animals a, if a is a dog, then a is a mammal Purely conditional If a is a dog, then a is a mammal. Or: If an animal is a dog, then the animal is a mammal. Purely universal For all dogs a,a is a mammal. Or: All dogs are mammals.

Rewriting a Universal Conditional Statement For all real numbers x, if x is nonzero then x 2 is positive. a. If a real number is nonzero, then its square. b. For all nonzero real numbers x,. c. If x, then. d. The square of any nonzero real number is. e. All nonzero real numbers have.

Universal Existential Statements statement that is universal because its first part says that a certain property is true for all objects of a given type, and it is existential because its second part asserts the existence of something. For example: Every real number has an additive inverse.

Rewriting a Universal Existential Statement Every pot has a lid. a. All pots. b. For all pots P, there is. c. For all pots P, there is a lid L such that.

Existential Universal Statements a statement that is existential because its first part asserts that a certain object exists and is universal because its second part says that the object satisfies a certain property for all things of a certain kind. For example: There is a positive integer that is less than or equal to every positive integer:

Rewriting an Existential Universal Statement There is a person in my class who is at least as old as every person in my class. a. Some is at least as old as. b. There is a person p in my class such that p is. c. There is a person p in my class with the property that for every person q in my class, p is.

Test Yourself 1. A universal statement asserts that a certain property is for. 2. A conditional statement asserts that if one thing then some other thing. 3. Given a property that may or may not be true, an existential statement asserts that for which the property is true.

SETS introduced in 1879 by Georg Cantor as a formal mathematical term a collection of elements. Example: If C is the set of all countries that are currently in the United Nations, then the Philippines is an element of C. If I is the set of all integers from 1 to 100, then the number 57 is an element of I.

Notation If S is a set, the notation x S means that x is an element of S. The notation x S means that x is not an element of S.

Notation A set may be specified using the set-roster notation by writing all of its elements between braces. For example, {1,2,3} denotes the set whose elements are 1, 2, and 3. {1, 2, 3,..., 100} to refer to the set of all integers from 1 to 100. {1, 2, 3,...} to refer to the set of all positive integers.

Using the Set-Roster Notation a. Let A ={ 1,2,3}, B ={ 3,1,2}, and C ={ 1,1,2,3,3,3}. What are the elements of A, B, and C? How are A, B, and C related? b. Is {0} =0? c. How many elements are in the set {1, {1}}? d. For each nonnegative integer n, let U n ={ n, n}. Find U 1, U 2, and U 0.

SYMBOL R R + R - Z Z + Z - N Q Q + Q - SET set of real numbers set of positive real numbers set of negative real numbers set of all integers set of all positive integers set of all negative integers set of natural numbers set of all rational numbers, or quotients of integer set of all positive rational numbers, set of all negative rational numbers

Set-Builder Notation Let S denote a set and let P(x) be a property that elements of S may or may not satisfy. We may define a new set to be the set of all elements x in S such that P(x) is true. We denote this set as follows: {x S P(x)}

Using the Set-Builder Notation Describe each of the following sets. a. {x R 2 < x < 5} b. {x Z 2 < x < 5} c. {x Z + 2 < x < 5}

SUBSETS Definition If A and B are sets, then A is called a subset of B, written A B, if, and only if, every element of A is also an element of B. Symbolically: A B means that for all elements x, if x A then x B.

Proper Subset Definition Let A and B be sets. A is a proper subset of B if, and only if, every element of A is in B but there is at least one element of B that is not in A. A B

Evaluate the truth and falsity Let A = Z +, B = { n Z 0 n 100}, C = {100,200,300,400,500}. a. B A b. b. C is a proper subset of A c. c. C and B have at least one element in common d. d. C B e. e. C C

Distinction between and Which of the following are true statements? a. 2 { 1,2,3} b. {2} { 1,2,3} c. 2 { 1,2,3} d. {2} { 1,2,3} e. {2} {{ 1},{2}} f. {2} {{ 1},{2}}

Ordered Pair Given elements a and b, the symbol ( a, b) denotes the ordered pair consisting of a and b together with the specification that a is the first element of the pair and b is the second element. Two ordered pairs (a,b) and (c,d) are equal if, and only if, a =c and b =d. Symbolically: (a,b) = (c,d) means that a =c and b =d.

Example a. Is (1, 2) = (2, 1)? b. Is (3, 5 10 ) = ( 9, 1 2 )? c. What is the first element of (1, 1)?

Cartesian Products Given sets A and B, the Cartesian product of A and B, denoted A B and read A cross B, is the set of all ordered pairs (a,b), where a is in A and b is in B. Symbolically: A B = {(a,b) a A and b B}.

Example Let A ={ 1,2,3 } and B ={ u,v }. a. Find A B b. Find B A c. Find B B d. How many elements are in A B, B A, and B B? e. Let R denote the set of all real numbers. Describe R R.

Test Yourself 1. When the elements of a set are given using the setroster notation, the order in which they are listed. 2. The symbol R denotes. 3. The symbol Z denotes. 4. The symbol Q denotes. 5. The notation{x P(x)} is read. 6. For a set A to be a subset of a set B means that,. 7. Given sets A and B, the Cartesian product A B is.

The Language of Relations and Functions Definition Let A and B be sets. A relation R from A to B is a subset of A B. Given an ordered pair (x, y) in A B, x is related to y by R, written x R y, if, and only if, (x, y) is in R. The set A is called the domain of R and the set B is called its co-domain.

The notation for a relation R may be written symbolically as follows: x R y means that (x, y) R. The notation x R y means that x is not related to y by R: x R y means that (x, y) R.

Example 1: A Relation as a Subset Let A ={ 1,2 } and B = { 1,2,3 } and define a relation R from A to B as follows: Given any (x, y) A B, (x, y) R means that x y 2 is an integer. a. State explicitly which ordered pairs are in A B and which are in R. b. Is 1 R 3? Is 2 R 3? Is 2 R 2? c. What are the domain and co-domain of R?

Example 2: The Circle Relation Define a relation C from R to R as follows: For any (x, y) R R, (x, y) C means that x 2 +y 2 =1. a. Is (1,0) C? Is(0,0) C? Is 1, 3 2 2 1C 1? C? Is 2 C 0? Is 0 C ( 1)? Is b. What are the domain and co-domain of C? c. Draw a graph for C by plotting the points of C in the Cartesian plane.

Arrow Diagram of a Relation Suppose R is a relation from a set A to a set B. The arrow diagram for R is obtained as follows: 1. Represent the elements of A as points in one region and the elements of B as points in another region. 2. For each x in A and y in B, draw an arrow from x to y if, and only if, x is related to y by R.

Symbolically: Draw an arrow from x to y if, and only if, x R y if, and only if, (x, y) R.

Example 1: Arrow Diagrams of Relations Let A ={ 1,2,3}and B ={ 1,3,5} and define relations S and T from A to B as follows: For all (x, y) A B, (x, y) S means that x < y S T ={ (2,1),(2,5)}. Draw arrow diagrams for S and T.

Activity Let A ={ 2,3,4 } and B ={ 6,8,10 } and define a relation R from A to B as follows: For all (x, y) A B, (x, y) R means that y/x is an integer. a. Is 4 R 6? Is 4 R 8? Is (3,8) R? Is (2,10) R? b. Write R as a set of ordered pairs. c. Write the domain and co-domain of R. d. Draw an arrow diagram for R.

Functions Definition A function F from a set A to a set B is a relation with domain A and co-domain B that satisfies the following two properties: 1. For every element x in A, there is an element y in B such that (x, y) F. 2. For all elements x in A and y and z in B, if (x, y) F and (x, z) F, then y = z.

Notation If A and B are sets and F is a function from A to B, then given any element x in A, the unique element in B that is related to x by F is denoted F(x), which is read F of x.

Example 1: Functions and Relations on Finite Sets Let A ={ 2,4,6} and B ={ 1,3,5}. Which of the relations R, S, and T defined below are functions from A to B? a. R ={ (2,5), (4,1), (4,3), (6,5)} b. For all (x, y) A B,( x, y) S means that y = x +1. c. T is defined by the arrow diagram

Example 2: Functions and Relations on Sets of Real Numbers a. The circle relation C was defined as follows: For all (x, y) R R, ( x, y) C means that x 2 +y 2 =1. Is C a function? If it is, find C(0) and C(1). b. Define a relation from R to R as follows: For all (x, y) R R,( x, y) L means that y = x 1. Is L a function? If it is, find L(0) and L(1).

Function Machines Suppose f is a function from X to Y and an input x of X is given. Imagine f to be a machine that processes x in a certain way to produce the output f(x).

A function is an entity in its own right. It can be thought of as a certain relationship between sets or as an input/output machine that operates according to a certain rule. This is the reason why a function is generally denoted by a single symbol or string of symbols, such as f, G, of log, or sin.

A relation is a subset of a Cartesian product and a function is a special kind of relation. Specifically, if f and g are functions from a set A to a set B, then f ={ (x, y) A B y = f (x)} and g ={ (x, y) A B y = g(x)}. It follows that f equals g, written f =g, if, and only if, f(x)=g(x) for all x in A.

Example: Equality of Functions Define f: R R and g: R R by the following formulas: f(x) = x for all x R. g(x) = x 2 for all x R. Does f = g?

Test Yourself 1. Given sets A and B, a relation from A to B is. 2. A function F from A to B is a relation from A to B that satisfies the following two properties: a. for every element x of A, there is. b. for all elements x in A and y and z in B, if then. 3. If F is a function from A to B and x is an element of A, then F(x) is.