MAT 320W
1/27/2014 (due Friday, 1/31/2014)
25 points
HW #2
Name
Justify all answers. Unsupported answers may not receive full credit.
1. Show that (x)(P (x) = Q(x) is equivalent to (x)(P (x) Q(x).
2.
MAT 320W
2/21/2014 (due Friday, 2/28/2014)
25 points
HW #4
Name
Justify all answers. Unsupported answers may not receive full credit.
1. Let cfw_An | n N be a family of sets satisfying An An+1 for all
MAT 320W
2/3/2014 (due Friday, 2/7/2014)
25 points
HW #3
Name
Justify all answers. Unsupported answers may not receive full credit.
1. Prove: If C A B, then A (A C) B.
2. Give an example to prove that
Weekly Homework 3
Molly Green
Foundations of Mathematics
January 26, 2016
Theorem 1.20. If a, b, and c Z, and a|b and b|c then a|c.
Proof. Let a, b, and c Z, such that a|b and b|c. Then b = ak and c =
Weekly Homework 4
Molly Green
Foundations of Mathematics
August 30, 2014
Problem 1.48. Let A and B be two propositions. Conjecture an equivalent way of expressing the proposition (A B) as a propositio
Weekly Homework 5
Molly Green
Foundations of Mathematics
January 26, 2016
Denition 2.6. If A and B are sets, then we say that A is a subset of B, written A B,
provided that every element of A is also
Weekly Homework
Foundations of Mathematics
November 5, 2016
Theorem 2.36. Let S and T be sets. Then S T iff P(S) P(T ).
Proof. Two cases:
1) Proving from right to left.
Assume P(S) P(T ). Let x S. The
Weekly Homework
Foundations of Mathematics
Theorem 3.6. (*) For all n N,
n
P
i=
i=1
n(n+1)
.
2
Proof. First, let n = 1. Then we get 1 = 1(1+1)
= 22 = 1 X
2
k
P
Next, assume for some k N, that
i = k(k+
Daily Homework
Foundations of Mathematics
November 5, 2016
Theorem 2.75. (*). Every closed interval is not an open set.
Proof. Let [a, b] be a closed interval, where a < b. We see that a [a, b]. If [a
Daily Homework
Foundations of Mathematics
November 5, 2016
Theorem 2.100. (*). Let cfw_A be a collection of closed sets. Then
\
A
is a closed set.
T
Proof.
Let
cfw_A
be
a
collection
of
closed
sets.
MAT 320W
1/17/2011 (due Friday, 1/24/2011)
25 points
HW #1
Name
Justify all answers. Unsupported answers may not receive full credit.
1. Without constructing a truth table, determine whether the compo
MAT 320W-03
03/14/14
140 points
Exam 2
Name
Show all work - unsupported answers may not receive full credit
1.(15) Let an denote the number of dierent ways to divide a class on n students into two non
MAT 320W-03
2/21/2014
Finite Topological Spaces
Denition Let X be a nite set. A topology on X is a subset T of the power set P (X ) of
X satisfying these three conditions:
(i) T and X T .
(ii) if U T
MAT 320W-03
02/14/14
125 points
Exam 1
Name
Show all work - unsupported answers may not receive full credit
1.(10) Show that (x)(P (x) Q(x) is equivalent to (x)(P (x) = Q(x).
2.(20) True or false. If
MAT 320W
1/24/2014
Inference rules
Theorems and proofs in a formal system:
We x a universe U and a collection A of axioms, A = P1 . . . Pn . A theorem is then a proposition R such
that A R is a tautol
MAT 320W-03
04/18/14
160 points
Exam 3
Name
Show all work - unsupported answers may not receive full credit
1.(45) Let X = cfw_1, 2, 3, 4, 5, 6, 7, 8, 9, 10, Y = cfw_a, b, c, d, e, and let f : X Y be
Name 3 3
ive full credit
MAT 320W03
04/ 18/ 14
160 points
Exam 3
Show all work - unsupported answers may not race
1.(45) Let X : {1, 2,3, 4,5,6,7, 8,9, 10}, Y = {a,b, c, d, e}, and let f : X > Y
Daily Homework
Foundations of Mathematics
Theorem 3.7. (*)
For all n N, 3 divides 4n 1.
Proof. Let n = 1. Then 4n 1 = 41 1 = 3. Since this is divisible by 3, we know that the
statement is true for n =