MATH135 week 1 Introduction, Statements, Truth Tables and Sets Sept. 9-13, 2013
Question: What is mathematics?
• Math seeks out patterns to try and seek out reality based on true statements.
Statements are either true or false.
• Math focuses on proving the truth (or falsity) of a statement through formal logical steps.
Question: How does one describe reality through logical statements? What is a proof?
• A proof is a mathematical statement that has no ambiguity (no uncertainty) and is either
true or false. In math, we make precise use of the language by stating and proving
Question: How does one write a proof as a true, precise statement? What tools does one need
to prove statements properly?
• Notation, presentation, and format
• Arguments (knowledge) are not definitions
• Precision and logic
REMARK: Good math uses complete sentences and proper punctuation. Symbols are only
used for convenience (to make math much easier to read and to comprehend). Don’t overuse
symbols (know precisely why they are being used).
A conditional statement or an open sentence is some sort of phrase based on something else.
An open statement is a statement using variables that is either true or false once values from
the same domain (a set of allowable or legal values) are given for the variables.
Ex: you are taller than me
Not enough information
Ex: z =49
What is z?
Ex: x>0 but what is x? This statement relies on something else.
It needs “x Z”
Ex: if a, b∈ Z and a divides b and b divides c…
Not precise enough because c is not defined. Everything must be introduced.
If a, b, c∈ Z and a divides b and b divides c, then a divides c
NOTE: ∈ means “is an element of”
Z means the integers MATH135 week 1 Introduction, Statements, Truth Tables and Sets Sept. 9-13, 2013
• The first step of proving or disproving a statement is to decide if the statement is true or
• If false, use an example to disprove.
• Could you convince your grandma?
Ex: An example of a true statement is 2+2=4
OR x -1=0
Two distinct real roots: -1 and 1
Ex: if x and y are even integers, (x+y) is an odd integer
This is a false statement
Ex: 2+2=5 is 2 false statement
OR x +1=0 (2 imaginary roots)
What are the outcomes of the following statements?
a) AΛ B TRUE
A: Paris is the capital of France (T)
B: 2+2=4 (T)
b) A Λ B FALSE
A : 6 is prime (F)
B : 2 is odd (F)
c) A: Paris is the capital of France
¬A: A Paris is NOT the capital of France
Ex: A: I am a male (F)
B: 2 is prime (T)
A V B is TRUE
The most common statement we will be considering this class is implication, which is the
statement of the form:
If A (hypothesis), then B (conclusion) OR A→B
Where A and B are statements
REMARK: an implication is a compound statement, that is to say a statement composed of at
least 1 statement and 1 connective (¬, Λ, V, →, ↔) MATH135 week 1 Introduction, Statements, Truth Tables and Sets Sept. 9-13, 2013
EX: If x∈ R, solve =10
By factoring, we obtain
x ∈ I
NOTE: If expression does not simplify so nicely, must state restrictions.
→ means “implies”
∈ + 1≤r≤n
Ex: IF r, n Z , , then
NOTE: this is the binomial sum, part of the binomial theorem where