1
Math 3040
Prelim 1: Solutions
Lecture 1
February 24, 2011
Problem 1: Give an example of logical expressions A and B, each of which is expressed
in terms of atomic statements P and Q, such that
a. A
Math 3040: Solutions for Homework 8. (1) For each of the following relations on the set of integers Z = cfw_0, 1, 1, 2, 2, 3. determine: is it reexive? Is it symmetric? Is it transitive? is it an equi
MATH 3040
Assignment 5
1. Let A be the left set; let B be the right set. We have to show that A B and B A.
To show that A B, let x A. Then x a and min(x, a) b. Either a b or
b a. If a b then x a = min
MATH 3040
Assignment due April 24, 2014
Projective geometry and the extended Euclidean plane
From Hilberts treatment of the axioms of Euclidean plane, a completely worked out axiom
system for geometry
Math 3040, Prelim I
February 27, 2014
Please use two exam booklets, and turn them both in at the end of the Prelim. One booklet
is for you nal write-up of your answers and proofs. The other is for scr
MATH 3040
Assignment for Week 10
1. Consider the set S = cfw_na + mb | n, m 0, n, m Z, for xed a, b N.
Prove that if a, b are relatively prime, then ab a b S. Note that a, b are positive
/
integers. H
MATH 3040
Assignment 6
1. 1 < 2 by Theorem 4. Still by Theorem 4, #N < #P(N). And since #R = #R(N),
we have 0 < 1 . Therefore 0 < 1 < 2 .
2. X0 = cfw_2n + 1 | n N
3. C = (, 1]
4. The cardinality of cf
Math 3040, Some Probability Problems
Due March 20, 2014
The following problem is from Pillow Problems and a Tangled Tale by
Lewis Carroll.
Problem: A bag contains 2 counters, as to which nothing is kn
Math 3040, Take Home Prelim 2
Due April 29, 2014
Please hand in your solutions as a TeX document in class on Tuesday April 29, 2014, and be sure
to cite the sources that you use in your answers.
1. In
MATH 3040
Assignment 9
1.
(a) Let a, b, c 2 N. We dene that g 2 N is the greatest common divisor of a, b, and c
and denote it by gcd(a, b, c), if both the following hold: i) g divides a, b, and c, ii)
MATH 3040
Assignment 7
1. Let P (a), P (g), and P (p) be the probability of the student choosing art, geology, and
psychology, respectively. Then we have P (a) + P (g) + P (p) = 1 since the student
ha
Math 3040, Some Set Theory
Due March 13, 2014
Recall that a function f : X Y is injective if for all x1 , x2 X, f (x1 ) =
f (x2 ) implies x1 = x2 , and f is surjective if for all y Y , there is an x X
MATH 3040
Assignment 8
1. Let d be the diameter of a quarter. Then the edge of each square of the checkerboard
is 2d. In order to win this game, the center of the quarter must be at least its radius
d
MATH 3040
Assignment 4
1. Let m = 2k + 1, n = 2q + 1 for some k, q Z. Then n2 m2 = (2q + 1)2 (2k + 1)2 =
4(q k)(q + k + 1). Since q k and q + k are either odd or even at the same time,
we know 2|(q k)
MATH 3040
Assignment 1
1. Let g(x) be dened by g(x) = y1 (x) y2 (x) = sin() cos(x) + cos() sin(x) sin( +
x). Since is constant, by Prop 1.7, we know y1 (x) + y (x) = 0 for all x. So
y1 (x) = sin() sin
Math 3040:
Spring 2011
Impossibility Proofs
Contents
1. Rings, Fields, and Vector Spaces
2. Polynomials
3. Fields and Polynomials
4. The Impossibility of Certain Ruler and Compass Constructions
4.1. G
Math 3040:
Spring 2011
The Rational Numbers
Contents
1. The Set Q
2. Addition and multiplication of rational numbers
2.1. Denitions and properties.
2.2. Comments
2.3. Connections with Z.
2.4. Better n
Math 3040:
Spring 2011
The Integers
Contents
1.
2.
3.
4.
The Basic Construction
Adding integers
Ordering integers
Multiplying integers
1
4
11
12
Before we begin the mathematics of this section, it is
1
Math 3040
Prelim 1: Solutions
Lecture 2
February 24, 2011
Problem 1: Suppose X is a logical expression in terms of atomic statements P and Q,
and you know only that (P Q) X is a tautology. Using red
Math 3040
Prelim 2: Solutions
Lecture 2
Problem 1: This problem will test your ability to do mathematical induction. State which form
of induction you are using, and give a (brief) reason for each ste
Math 3040
Prelim 2: Solutions
Lecture 1
Problem 1: This problem will test your ability to do mathematical induction. State which form
of induction you are using, and give a (brief) reason for each ste
Math 3040, Quick Quiz: Solutions
March 15, 2012
1. Lets play a game. Start with the number 1000. You then subtract any
integer from 1 to 100 inclusive and announce that number. Then I take
your number
Math 3040 Prove it!
Spring 2012
Solution to selected problems from Homework 7
4.3.13 Let A and B be sets and let f, g : A B be functions. Prove that
there exists a set E and a function e : E A such th
Math 3040 Prove it!
Spring 2012
Solution to selected problems from Homework 8
5.1.8 Let A be a set, and let R be a reaction on A.
(1) Suppose that R is reexive. Prove that
xA [x]
= A.
(2) Suppose that
Math 3040 Prove it!
Spring 2012
Solution to selected problems from Homework 10
Extra 1 Find a closed form expression for the sum of the fourth powers of
the integers from 1 to n, where n is a positive
MATH 3040:
PROVE IT!
Peter Kahn
Spring 2011
Introduction
1. The role of proof
Mathematics pervades human culture. From the simplest daily transactions to the
largely hidden mathematical concepts that
Math 3040
Spring 2011
Glossary of Logical Terms
The following glossary briey describes some of the major technical logical
terms used in this course. The glossary should be read through at the beginni
Math 3040
Spring 2011
The Predicate Calculus
Contents
1. Introduction
2. Some examples
3. General elements of sets.
4. Variables and constants
5. Expressions
6. Predicates
7. Logical operations and pr
Math 3040
Spring 2011
The Natural Numbers
Contents
1.
2.
3.
4.
5.
6.
7.
8.
History
The basic construction
Proof by Induction
Denition by induction
Addition
Addition and the natural ordering
Variants o