Sets and Propositions: Practice Problems and Methods
Use Venn diagrams and number lines for sets, and think of conditions as sets: deciding necessary and sufficient conditions then becomes a question of inclusion.
Basic, Standard, Advanced: Grade 10 · Term 1
Math problem generator
Set operations and counting
(intersection) means "in and in ", (union) means "in or in ", and (complement) is everything in the universal set not in .
Example: among the integers 1 to 100, are divisible by 2 or 3.
Necessary and sufficient conditions
If "" is true, then is a sufficient condition for , and is a necessary condition for . If both directions hold, the condition is necessary and sufficient.
If and are the sets satisfying and , then " is true" . For : and : , , so is sufficient for .
To show an implication is false, one counterexample is enough: fails for .
Negation, converse, inverse and contrapositive
The negation of " and " is "not or not ", and the negation of "for every , " is "for some , not ".
For "", the converse is "", the inverse is "not not " and the contrapositive is "not not ". A statement and its contrapositive are always both true or both false, so a hard statement can be proved through its contrapositive. Proving that is irrational by assuming the opposite and reaching a contradiction is proof by contradiction.
Worked examples
Let be the universal set, with subsets and . List all the elements of each set.
- (1)
- (2)
- (3)
Hint
Draw a Venn diagram and write each element in its region.
Answer
- (1)
- (2)
- (3)
Solution
(1)
(2)
(3)
How many integers from 1 to 250 are divisible by neither 3 nor 8?
Hint
Use and .
Answer
Solution
There are 83 multiples of 3, 31 multiples of 8, and 10 common multiples (multiples of 24).
104 numbers are divisible by 3 or 8, so
Prove by contradiction that is irrational.
Hint
Assume in lowest terms and derive a contradiction.
Answer
Suppose is rational. Then for coprime natural numbers and . Squaring gives , so is even and hence is even. Writing gives , so and is even as well. This contradicts the assumption that and are coprime. Therefore is irrational.
Solution
Suppose is rational. Then for coprime natural numbers and . Squaring gives , so is even and hence is even. Writing gives , so and is even as well. This contradicts the assumption that and are coprime. Therefore is irrational.
Practice problems
Let be the universal set, with subsets and . List all the elements of each set.
- (1)
- (2)
- (3)
Hint
Draw a Venn diagram and write each element in its region.
Answer
- (1)
- (2)
- (3)
Solution
(1)
(2)
(3)
Let and be real numbers. Choose the correct negation of "".
- A or
- B or
- C and
- D or
Hint
De Morgan: the negation of " and " is "not or not ".
Answer
Solution
The negation is " or ".
Let be an integer, and let and . Suppose .
- (1)Find the value of .
- (2)List all the elements of .
Hint
Find the values of that make , then write out and for each and check the condition.
Answer
- (1)
- (2)
Solution
Since , some element of equals ; the candidates are .
Checking each,
Only satisfies the condition, and then