MA121 STUDY GUIDE WEEK 3
1. One-to-one and onto functions. Introduction to Mathematical
Logic (Preliminary)
Reading assignment: Sections 2.1 2.2
After the lecture, you should be able to do the following.
Be able to determine whether a function is one-to-
MA121 STUDY GUIDE WEEK 1
1. Set-builder notation, union, and intersection
Reading assignment: Sections 1.1 1.4
After the lecture, you should be able to do the following.
Understand set-builder notation, and be able to describe the elements of
a (reasonab
Winter Term, 2014
Name: : I Cl (AND/3
Section: __
WILFRID LAURIER UNIVERSITY
Waterloo, Ontario
Mathematics 121 Introduction to Mathematical Proofs
Test 2 March 21, 2014
Instructors:
S. Bauman (Section B - 8:30 am TR)
F. Vinette (Section C 5:30
MA121C Quiz: March 7, 2013.
Name:
Student number:
Instructions: In order to receive any marks, you must also provide justification for your answer. Please use the
back of this page if additional space is needed.
1. Let p be the statement: there exists a r
Example 1. Use a Venn Diagram to evaluate/simplify each of the following
(a) (A \ B) (A B).
(b) (A \ B) B.
(c) (A # B) (A B).
Solution. See the following three pages.
1
Example 2. Prove that
(a) A = (A \ B) (A B).
(b) A B = (A \ B) B.
(c) A B = (A # B) (A
Example 1. Let A = cfw_a, b. Determine P(P(A).
Solution. In class we observed that (the list given in class involved a lot of
. . . and was therefore incomplete)
P(P(A) = cfw_, cfw_B, cfw_C, cfw_D, cfw_E, cfw_B, C, cfw_B, D, cfw_B, E, cfw_C, D,
cfw_C, E,
Example 1. Let z, w 2 C. Prove that z + w = z + w.
Solution. Using the definitions of conjugatation and addition we have
Re(z + w) = Re(z + w)
= Re(z) + Re(w)
= Re(z) + Re(w)
And
Im(z + w) =
Im(z + w)
=
[Im(z) + Im(w)]
=
Im(z)
=
Im(z) + [ Im(w)]
Im(w)
= I
Example 1. Suppose that z1 , z2 and z3 are complex numbers. Prove that
z1 (z2 + z3 ) = z1 z2 + z1 z3 .
Proof. We must show that
Re(z1 (z2 + z3 ) = Re(z1 z2 + z1 z3 )
(1)
Im(z1 (z2 + z3 ) = Im(z1 z2 + z1 z3 ) .
(2)
and
In order to do so we will put each nu
WILFRID LAURIER UNIVERSITY
WATERLOO, ONTARIO
Sessio-n: Winter Term, 2010
Nance:
Course no: MA121
ID
#:
Title: Introduction to
Mathematical Proofs
Section:
Instructors: F. Vinette, (Section B): R. Cressman, (Section C)
Number of Pages: 9. plus cover page
L
MA121 Mock Final Exam
Name:
* Please remember that mock tests are meant as a means of providing an extra set of practice questions
and basis for a review class. Do not study for the midterm based solely on the topics covered by the mock
test! Go back thro
Fundamental Theorem of Arithmetic and Divisibility Review Mini Lecture
Here we will provide a proof of the Fundamental Theorem of Arithmetic (about prime factorizations).
Before we get to that, please permit me to review and summarize some divisibility fa
Charmi Desai
MA 121
Sept 8, 2016
Chapter 1: Sets
o Set is defined by:
1. Give a precise verbal definition of the set stating exactly what its elements are
2. Make a complete list of all elements in the set
Ex. cfw_?,?,?,?
3. Make a list of few members of
Example 1. Let a, b Z. Prove that if b|a then any prime factor of b is
also a prime factor of a.
Solution. If b|a then there exists k Z such that a = b k. Now let A denote
the set of distinct prime factors of a, B the set of distinct prime factors of
b an
MA121C Quiz: March 21, 2013.
Name:
Student number:
Instructions: In order to receive any marks, you must also provide justification for your answer. Please use the
back of this page if additional space is needed.
1. Let z, w C. Prove that if |z| = |w| = 1
MA121C Quiz: April 4, 2013.
Name:
Student number:
Instructions: In order to receive any marks, you must also provide justification for your answer. Please use the
back of this page if additional space is needed.
1. (a) Demonstrate how the Euclidean Algori
Example 1. Let a, b Z and n N. Prove that a b (mod n) if and only
if b a (mod n).
Solution. Suppose that a b (mod n). Then there exists k Z such
that a b = kn. Thus b a = (a b) = (kn) = (k)n. And since
k Z whenever k Z it follows that n divides b a. This
MA121 Quiz: January 31, 2013.
Name:
Student number:
Instructions: Please place your final answer in the box provided. In order to receive any marks, you must also
provide justification for your answer. Please use the back of this page if additional space
MA121 Midterm Test Winter 2013
[10 marks]
Page 1 of 7
1. Let A = cfw_1, 2, 3 and B = cfw_1, 3.
(a) List all elements of A B.
Solution:
A B = cfw_(1, 1), (1, 3), (2, 1), (2, 3), (3, 1), (3, 3).
(b) List five elements of P(A).
Solution:
P(A) = cfw_, cfw_1,
MA121B Quiz Solutions: March 7, 2013.
Name:
Student number:
Instructions: Please place your final answer in the box provided. In order to receive any marks, you must also
provide justification for your answer. Please use the back of this page if additiona
Winter Term, 2017
Last Name:
First Name:
Please circle your section:
Section C (10:00 - 11:20 a.m.)
Section D (8:30 - 9:50 a.m.)
Section E (1:00 - 2:10 p.m.)
WILFRID LAURIER UNIVERSITY
Waterloo, Ontario
Mathematics 121 Introduction to Mathematical Proofs
Winter 2017
MA121 Recommended Problems
(Chapter 5)
The following exercises are assigned from the text:
B. Secord, S.J. Stack, D.C. Vaughan, T. Balfour and P. Zhang: Logic and Algebra, The Revised 3rd
Edition (for Winter 2017)
5.2:
5.4:
1, 2(b), 3(a), 4(b)
MA121 Mock Test 2
Name:
* Please remember that mock tests are meant as a means of providing an extra set of practice questions
and basis for a review class. Do not study for the midterm based solely on the topics covered by the mock
test! Go back through
MA121 Mock Test 1
Answers
(Full Solutions will NOT be posted;
use the MACs drop-in help centre if you have any questions.)
* Please remember that the mock test was meant as a means of providing an extra set of practice
questions and basis for a review cla
#30
mg a:
m 3 m E
m c w 8
5m 2: 55. amp—H.
mm :5
3 3
mm m3<2 .3: «3 <2 55%: maid. 98 on? $20 m5. 5 3:953 m0 $255: .59 Q;
m 3 w I a E
w
m 3 w E
m. c w 8
“mm 2: EB“ much.
a E
3 8
mm mo~<2
.5: 3:22 a: 0: .3338 mafia”. cm? Ba 2.: mad? 2:» 5 3555 no .5855
|_|
|_|
|_|
1. Two statements p and q are equivalent if:
-1
p q is a tautology.
2
They have the same truth table.
3
They use the same connectives.
5
They have the same disjunctive normal form.
7
Neither of them is a tautology.
j_j
j_j
j_j
j_j
When is an a
|_|
If the number 3 is even then the number 4 is even.
If the sun rises from the west, then a rooster
lays eggs.
The sun rises from the west if and only if a
rooster lays eggs.
Which of the following sets are equal to A = cfw_2, 4, 6, 8?
-1
B is the set of single digit, even, natural numbers.
2
C = cfw_6, 8, 2, 4
3
D = cfw_2, 4, 4, 6, 8
5
E = cfw_2, 4, 6, 8,
7
F = cfw_x N : x even and 2 x 10
U
U
MA121 Mock Test 2
Name:
* Please remember that mock tests are meant as a means of providing an extra set of practice questions
and basis for a review class. Do not study for the midterm based solely on the topics covered by the mock
test! Go back through
MA 121
Introduction to Mathematical Proofs Week 4
2.6 Methods of Proof of Implications
A proof of is a finite sequence of statements called premises (either given
in or already established as true) connected by our basic logical rules of
inference, ending
MA 121
Introduction to Mathematical Proofs Week 3
2.4 Constructing a Compound Statement from
a Truth Table
Definition 2.4.1 A statement involving 1 , 2 , , is said to be in disjunctive
normal form (or canonical sum-products form) if it is a disjunction of
