Beruflich Dokumente
Kultur Dokumente
What is mathematics?
Mathematics, developed by human mind and culture, is a formal system of thought for
recognizing, classifying, and exploiting patterns.
(Stewart, p. 1)
Where is mathematics?
• with curiosity
• with a penchant for seeking patterns and generalities
• with the desire to know the truth
• with trial and error
• without fear of facing more questions and problems to solve
a1 = 1
a2 = 1
a n = a n −1 + a n − 2
Closed Form Formula - solves a given problem in terms of functions and mathematical
operations from a given generally-accepted set.
1 1 + 5 1 − 5
n n
an = −
5 2 2
While we use our natural language to transmit our mathematical ideas, the language has
some undesirable features which are not acceptable in mathematics.
Importance of Language
Difficulties
1. 0 is an integer.
2. x is multiple of 5.
Translate each of the following phrases into a mathematical expression. Use as few variables
as possible:
SETS
SET OPERATIONS
Given two sets A and B,
1. The union of A and B ( A B) = {x | x A or x B}
2. The intersection of A and B ( A B) = {x | x A and x B}
3. The relative complement of A with respect to B or the set theoretic-difference of B and A
B − A = x | x B | x A
4. The absolute complement of A, A' = x | x U | x A
5. The Cartesian product A × B is the set of all ordered pairs (a, b) where a ∈ A and b ∈ B.
A. EQUALITY AXIOMS
1. Reflexive Axiom
2. Symmetric Axiom
3. Transitive Axiom
4. Replacement Axiom
B. FIELD AXIOMS
1. Closure Axiom
2. Associative Axiom
3. Commutative Axiom
4. Distributive Axiom
5. Identity Axiom
6. Inverse Axiom
C. ORDER AXIOMS
1. Closure Axiom
2. Trichotomy Axiom
3. Transitive Axiom
D. COMPLETENESS AXIOM
Every nonempty set of real numbers that has an upper bound also has a least upper bound
(supremum)
RELATION
x− y
Given any (x, y ) A B, (x, y ) R means that is an integer.
2
• Is 1R 3 ?
• Is 2R 3 ?
• Is 2 R 2 ?
• What are the domain and co-domain of R?
x+ y
Given any (x, y )Y Z , (x, y ) R means that is an integer.
2
o Is 1 R 0 ?
2R 0 ?
o Is
o Is 2 R 1 ?
o What are the domain and co-domain of R?
3. Define a relation C from R to R as follows: For any (x, y ) , (x, y )C means that
x2 + y2 =1.
• Is (1, 0)C ?
• Is (0, 0)C ?
−1 3
,
2 2 C ?
• Is
• Is − 2 C 0 ?
• Is 0 C(− 1) ?
• Is 1C1 ?
• What are the domain and co-domain of C?
• Draw a graph for C.
FUNCTIONS
BINARY OPERATIONS
The word "binary" means composed of two pieces. A binary operation is simply a rule
for combining two values to create a new value. The most widely known binary operations
are those learned in elementary school: addition, subtraction, multiplication and division on
various sets of numbers.
• What is 8 Φ 3 ?
• Is a Φ b commutative?
3a + b = 3b + a ?
• Is a Φ b associative?
Does a Φ (b Φ c) = (a Φ b) Φ c ?
a Φ (3b + c) = (3a + b) Φ c ?
3a + (3b + c) = 3(3a + b) + c
2. A binary operation is defined on the set 1, 2, 3, 4. The table at the right shows the 16
possible answers using this operation. To read the table, read the first value from the left
hand column and the second value from the top row. The answer is the intersection point.
1 2 3 4
1 4 3 2 1
2 3 1 4 2
3 2 4 1 3
4 1 2 3 4
• 24?
• Is commutative?
• What is the identity element for the operation ?
• Is associative for these values? 4 (3 2) = (4 3) 2
3. What is 4 1?
a b = 3a − 2b + ab
5. If a b = 2a + b and a b = a − 2b , find (3 4) 5 .
LOGIC
Proposition
A logical connective is the mathematical equivalent of a conjunction - that is, a word (or
symbol)that joins two sentences to produce a new one.
The logical connectives are defined by truth tables (but have English language
counterparts).
• The truth value of a simple statement is either true (T) or false (F).
• The truth value of a compound statement depends on the truth values of its simple
statements and its connectives.
• A truth table is a table that shows the truth value of a compound statement for all
possible truth values of its simple statements.
q : It is raining.
r : I am going to a movie.
a. q p
b. ~ r s
c. s ~ p
a. e ~ t
b. a ~ t
c. e→t
d. t g
r : Kesha is a rapper.
In every item, indicate what statements P, Q, or R might stand for then express the item
using the correct symbols ( ∧, ∨, ⟹, ⟺, ¬ ) .
• If 𝑥 is an even number then it is a multiple of 2.
• 2 and -3 are rational zeroes of 𝑓.
• Triangle ABC is a right triangle if and only if 𝑐 2 = 𝑎2 + 𝑏 2 .
• 𝑥 is not equal to 10.
• If 𝑥 = 𝑦 then 𝑦 = 𝑥.
• If 𝑥 = 𝑦 and 𝑦 = 𝑧 then 𝑥 = 𝑧.
• The function 𝑓 is either an odd or an even function.
• The function 𝑓 is a rational function but its graph has no horizontal asymptote.
• Corresponding parts of congruent triangles are congruent.
• A quadratic equation has two distinct real roots, provided that the discriminant is
positive.
QUANTIFICATION
Universal Quantification
Existential Quantification
Write as English sentences and say whether they are true or false.
• ∀𝑋 ⊆ 𝑁, 𝑋 ⊆ 𝑅
• ∃𝑚, 𝑛 𝜖 𝑍, 𝑚 + 𝑛 = 0
• ∀𝑥 ∈ ℜ, 𝑥 2 > 0
• ∀𝑛 𝜖 𝑍, ∃𝑋 ⊆ 𝑁 𝑠. 𝑡. |𝑋| = 𝑛
• ∃𝑥, 𝑦 𝜖 𝑄, 𝑥 2 + 𝑦 2 < 9
• ∀𝑥 𝜖 𝑅, ∃𝑦 𝜖 𝑁, 𝑥 2 + 𝑦 2 = 1.
• ∃𝑥, 𝑦 𝜖 𝑍, 𝑥 2 + 𝑦 2 < 1
1
• ∀𝑥 𝜖 𝑄, ∃𝑦 𝜖 𝑁, 𝑦 = 𝑥
1
• ∃𝑥, 𝑦 𝜖 𝑍, 𝑥 − 𝑦 = 2
• ∀𝑥 ≥ 0, √𝑥 2 = 𝑥