Scribd
Upload
28 views

C C C C C C: Date: October 4, 2016

This document provides solutions to exam review problems involving set theory, logic, and relations. It proves De Morgan's laws, properties of even and increasing functions, distributive laws of sets, and discusses equivalence relations. Key steps show that logical "and" and "or" distribute across each other when proving set identities. Equivalence classes are described for a relation on the Cartesian plane defined by equal x-coordinates.

Uploaded by

John Ngandwe
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
28 views

C C C C C C: Date: October 4, 2016

This document provides solutions to exam review problems involving set theory, logic, and relations. It proves De Morgan's laws, properties of even and increasing functions, distributive laws of sets, and discusses equivalence relations. Key steps show that logical "and" and "or" distribute across each other when proving set identities. Equivalence classes are described for a relation on the Cartesian plane defined by equal x-coordinates.

Uploaded by

John Ngandwe
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

EXAM 1 REVIEW SOLUTIONS

Problem 1. Prove De Morgan’s laws:


(A ∩ B)c = Ac ∪ B c
(A ∪ B)c = Ac ∩ B c .
Proof. The main idea of these proofs is that negation changes “and” into
“or,” and vice versa. Therefore, we only prove the first law:

(⊆) Suppose x ∈ (A ∩ B)c . This means x 6∈ A ∩ B. Notice that the


negation of “x ∈ A and x ∈ B” is equivalent to“x 6∈ A or x 6∈ B.” This
implies that x ∈ Ac or x ∈ B c . In other words, x ∈ Ac ∪ B c .
(⊇) Suppose x ∈ Ac ∪ B c . This means x 6∈ A or x 6∈ B. This is logically
equivalent to the negation of “x ∈ A and x ∈ B.” In other words, it is
equivalent to the negation of x ∈ A ∩ B. We may conclude that x 6∈ A ∩ B,
i.e., x ∈ (A ∩ B)c .
Problem
√ 2. Suppose x > 0. Prove or give a counterexample: if x is irrational,
then x is irrational.
√
Proof. Let us prove the contrapositive: if x is rational, then x is rational.
(Here, x > 0√is given.) √
Suppose x is rational, so x = a/b for some a, b ∈ Z, b 6= 0. We
compute
√ 2 a2
x= x = 2.
b
Since a2 , b2 ∈ Z with b2 6= 0, x has√the form of a rational number. We
conclude that x is rational whenever x is rational.
Problem 3 (Lay 1.2.13, 15). Write the following defining conditions using
logical symbolism and then negate:
13. A function f is even if for every x, f (−x) = f (x).
15. A function f is increasing if for every x and y, if x ≤ y, then f (x) ≤ f (y).
Solution. 13. ∀x, f (−x) = f (x).
Negation: ∃x s.t. f (−x) 6= f (x).
15. ∀x ∀y, x ≤ y =⇒ f (x) ≤ f (y).
Negation: ∃x ∃y s.t. x ≤ y ∧ f (x) > f (y).
Problem (Lay 2.1.24 d,e). Prove the distributive laws for sets:
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C).
Date: October 4, 2016.
1
2 EXAM 1 REVIEW SOLUTIONS

Proof. The main idea is that the logical “and” and “or” distribute across
each other (we proved that using truth tables a while back). We just prove
the first law. The second law is similar.

(⊆) Suppose x ∈ A ∪ (B ∩ C). This means x ∈ A or (x ∈ B and x ∈ C).1


This is logically equivalent to ((x ∈ A or x ∈ B) and (x ∈ A or x ∈ C)).
In other words, x ∈ A ∪ B and x ∈ A ∪ C, which may be rewritten as
x ∈ (A ∪ B) ∩ (A ∪ C).

(⊇) Suppose x ∈ (A ∪ B) ∩ (A ∪ C). This means ((x ∈ A or x ∈ B) and


(x ∈ A or x ∈ C)), which is logically equivalent to (x ∈ A or (x ∈ B and
x ∈ C)). This last statement means precisely that x ∈ A ∪ (B ∩ C).
Problem (Lay 2.2.11). I am not retyping all of these. See p. 60 of the 5th
edition.
Solution. (a) Reflexive and transitive, but not symmetric
(b) Reflexive and transitive, but not symmetric
(c) None. (It’s not reflexive unless everybody “likes themselves,” so that’s
kind of subjective.)
(d) Reflexive and transitive, but not symmetric
(e) Reflexive, symmetric, and transitive. It is an equivalence relation! The
equivalence classes are really wonky.
(f) Symmetric, but not reflexive or transitive
(g) This is the empty relation on R. It is not reflexive, symmetric, or
transitive.
(h) Reflexive and symmetric, but not transitive

Problem (Lay 2.2.13). Let S be the Cartesian coordinate plane R × R and


define a relation R on S by (a, b)R(c, d) iff a = c. Verify that R is an
equivalence relation and describe a typical equivalence class E(a,b) .
Solution. First, we prove that R is reflexive. Let (a, b) ∈ S. Since a = a, we
have (a, b)R(a, b).
Next, we prove that R is symmetric. Let (a, b), (c, d) ∈ S. Suppose
(a, b)R(c, d), i.e., a = c. This implies c = a, so (c, d)R(a, b).
Lastly, we prove that R is transitive. Let (a, b), (c, d), (e, f ) ∈ S and
suppose (a, b)R(c, d) and (c, d)R(e, f ). This means a = c and c = e, which
implies a = e. Therefore, (a, b)R(e, f ).
Equivalence classes are the sets of points which have the same “x coordi-
nate”:
E(a,b) = {(c, d) ∈ R2 | a = c.}
In other words, the equivalence classes are vertical lines in R2 .

1Parentheses needed here.

You might also like