An integer x > 0.
What is the truth table for
P ↔ Q ?
T
F
F
T
Write using set builder notation, the set of positive integers
{xεZ : x>0 }
What does x ε (A U B) mean?
x ε A or xεB
What is the definition of an Even Number?
An integer x, s.t. 2|x is true.
Is P → Q ⇔ (¬Q) → (¬P) true?
Yes! This statement even has a fancy name, Proof by Contrapositive!
{ xεZ : x<0 ^ x is odd}
What is the difference of two sets?
A-B
For xεA-B,
x is in A and not in B.
What does it mean if a divides b? Provide definition and the mathematical symbol that defines the statement.
a|b
a divides b means there exists a third integer c, s.t. b = a*c
When is an If-Then statement false?
P → Q
An If-Then statement is only false when the initial condition is true and the second condition is false.
Write the set of prime numbers using set builder
{x: x is prime}
A ∪ (B ∩ C)= ?
(A ∪ B) ∩ (A ∪ C)
What does it mean if p is prime?
If p is prime, p>1 and 1 and p are its only divisors.
List a distributive property of logic symbols
P ∧ (Q ∨ R) ⇔ (P ∧ Q) ∨ (P ∧ R)
or
P ∨ (Q ∧ R) ⇔ (P ∨ Q) ∧ (P ∨ R)
What is the symbol for the empty set?
Either {} or
What is the symmetric difference of two sets?
AΔB
For xεAΔB,
x is in only A or x is in only B.
What is a Lemma?
A lemma is a theorem that is used primarily to help solve another theorem.
List one of DeMorgan's Laws using logic symbols?
¬(P ∨ Q) ⇔ (¬P) ∧ (¬Q)
or
¬(P ∧ Q) ⇔ (¬P) ∨ (¬Q)
The set of complex numbers with an imaginary part
{zεC: z NOT ∈ R}
How do you show set A is equal to set B?
First show A ⊆ B. Then show B ⊆ A.