Modern Mathematics – Year 1
Module 2 – Part 1: Logic & Sets
1. Logic Basics
• A proposition is a declarative statement that is either True (T) or False (F).
• Logical connectives:
- Negation (¬p): not p
- Conjunction (p ∧ q): p and q
- Disjunction (p ∨ q): p or q
- Implication (p → q): if p then q
- Biconditional (p ↔ q): p if and only if q
• Example: If p = 'It is raining' and q = 'I bring an umbrella',
then (p → q) means 'If it is raining, then I bring an umbrella'.
2. Truth Table Example
Construct the truth table for p → q:
p q p→q
T T T
T F F
F T T
F F T
3. Sets
• A set is a collection of distinct objects, written inside { }.
• Example: A = {1, 2, 3, 4}, B = {3, 4, 5, 6}
• Set operations:
- Union (A ∪ B) = {1, 2, 3, 4, 5, 6}
- Intersection (A ∩ B) = {3, 4}
- Difference (A – B) = {1, 2}
- Complement (A■) = all elements not in A
4. Practice Problems
1) Construct the truth table for (p ∨ q) ∧ ¬p.
2) If A = {2, 4, 6, 8} and B = {4, 5, 6}, find:
a) A ∪ B
b) A ∩ B
c) A – B
3) Translate into a logical statement:
'If a number is even, then it is divisible by 2'.