MA1006 ALGEBRA – Week 1
1. Read the wikipedia article about mathematics, algebra and logic.
2. Read the wikipedia article about truth table. Memorise the truth table for: negation,
conjucntion, disjunction, implication and equality (aka equivalence).
3. Which of the following sentences are statements? Which of the statements are true?
a. Let x be a natural number.
b. A natural number x is divisible by three.
c. For any even natural number x its square x 2 is divisible by four.
d.
x is a natural number.
e. Every integer is positive.
f. It is not true that this sentence is true.
g. There are two people in Aberdeen having the same amount of hair on their heads.
h. The Algebra lecturer is cool.
i. There are infinitely many prime numbers.
j. If 1 = 2 then the Earth crashed with the Moon last night.
4. Determine if the following statements are true or false. Prove the true ones and provide a
counterexample for each of the false ones.
a. If n is a natural number then n 2 is divisible by four.
b. If a natural number n is divisible by four then it is a square of a natural number.
c. There exists infinitely many prime numbers.
d. A natural number n is odd if and only if n 2 is odd.
p
e. The number 3 is not a rational number.
P
f. For every natural number n we have that ni=1 i = n(n−1)
.
2
P
g. For every natural number n we have that ni=1 2i − 1 = n 2 .
5. Write the negation of each of the following statements.
a. For every integer n there exists an integer m such that m ≥ n .
b. If x is an even natural number then x 2 is divisible by three.
c. For every ² > 0 there exists a natural number m such that |a n − a| < ² for every n > m .
d. For every x 0 ∈ R and every ² > 0 there exists δ > 0 such that |F(x) − F(x 0 )| < ² for every x
such that |x − x 0 | < δ.
Summary of Week 1:
• General introduction to the context of mathematics in science and and all human activity.
• Introducing some of the mathematical notation.
• Elements of logic: statement, proof, counterexample, quantifiers; the truth table for negation, conjunction, dysjunction, implication and equivalence. Many examples.
• Methods of proofs: direct, by contradiction, induction. Many examples.