Logic, Sets, and Mathematical Foundations

Propositional Logic and Truth Tables is a basic part of mathematical reasoning. It helps us decide whether statements are true or false, and it gives us a clear way to analyze compound statements built from simpler ones.

In mathematics, logic is important because proofs, definitions, and arguments all depend on correct reasoning. Truth tables are one of the easiest and most reliable tools for checking the value of a logical statement.

In this lesson, you will learn what propositions are, how logical operators work, and how to build and use truth tables for compound statements.

1. What is a proposition?

A proposition is a statement that is either true or false, but not both.

• “2 is an even number” is a proposition. It is true.
• “7 > 10” is a proposition. It is false.
• “What time is it?” is not a proposition because it is a question.
• “Close the door” is not a proposition because it is a command.

We usually use letters such as \(p\), \(q\), and \(r\) to represent propositions.

For example:

• \(p\): “It is raining.”
• \(q\): “The ground is wet.”

2. Logical operators

Compound statements are formed by joining simpler propositions using logical operators. The main operators you need to know are negation, conjunction, disjunction, implication, and biconditional.

(a) Negation

The negation of \(p\) is written as \(\neg p\) and means “not \(p\).”

• If \(p\) is true, then \(\neg p\) is false.
• If \(p\) is false, then \(\neg p\) is true.

Example:

• \(p\): “5 is positive.”
• \(\neg p\): “5 is not positive.”

(b) Conjunction

The conjunction of \(p\) and \(q\) is written as \(p \land q\) and means “\(p\) and \(q\).”

A conjunction is true only when both parts are true.

(c) Disjunction

The disjunction of \(p\) and \(q\) is written as \(p \lor q\) and means “\(p\) or \(q\).”

In mathematics, “or” usually means inclusive or. That means \(p \lor q\) is true when at least one of \(p\) or \(q\) is true, including when both are true.

(d) Implication

The implication from \(p\) to \(q\) is written as \(p \to q\) and means “if \(p\), then \(q\).”

This is often the most confusing operator at first. The statement \(p \to q\) is false only when \(p\) is true and \(q\) is false. In all other cases, it is true.

(e) Biconditional

The biconditional is written as \(p \leftrightarrow q\) and means “\(p\) if and only if \(q\).”

This statement is true when \(p\) and \(q\) have the same truth value, meaning both are true or both are false.

3. Basic truth tables

A truth table lists all possible truth values of propositions and shows the truth value of a compound statement for each case.

For two propositions \(p\) and \(q\), there are four possible combinations:

$$ \begin{array}{c|c} p & q \\\hline T & T \\ T & F \\ F & T \\ F & F \end{array} $$

Now let us look at the truth tables for the main logical operators.

Negation

$$ \begin{array}{c|c} p & \neg p \\\hline T & F \\ F & T \end{array} $$

Conjunction

$$ \begin{array}{c|c|c} p & q & p \land q \\\hline T & T & T \\ T & F & F \\ F & T & F \\ F & F & F \end{array} $$

Disjunction

$$ \begin{array}{c|c|c} p & q & p \lor q \\\hline T & T & T \\ T & F & T \\ F & T & T \\ F & F & F \end{array} $$

Implication

$$ \begin{array}{c|c|c} p & q & p \to q \\\hline T & T & T \\ T & F & F \\ F & T & T \\ F & F & T \end{array} $$

Biconditional

$$ \begin{array}{c|c|c} p & q & p \leftrightarrow q \\\hline T & T & T \\ T & F & F \\ F & T & F \\ F & F & T \end{array} $$

4. How to build a truth table

To evaluate a compound statement, follow these steps:

1. List all possible truth values of the simple propositions.
2. Create extra columns for each part of the statement.
3. Work from the inside outward, especially when brackets are used.
4. Fill in the final column to get the truth value of the whole statement.

It is very important to evaluate the expression in the correct order. Brackets should be handled first, just as in algebra.

5. Worked Example 1: Evaluating \(p \land q\)

Let \(p\) and \(q\) be propositions. Construct the truth table for \(p \land q\).

Step 1: List all possible values of \(p\) and \(q\).

$$ \begin{array}{c|c|c} p & q & p \land q \\\hline T & T & \\ T & F & \\ F & T & \\ F & F & \end{array} $$

Step 2: Use the rule for conjunction: it is true only when both are true.

$$ \begin{array}{c|c|c} p & q & p \land q \\\hline T & T & T \\ T & F & F \\ F & T & F \\ F & F & F \end{array} $$

Conclusion: \(p \land q\) is true only in the first row.

6. Worked Example 2: Evaluating \(\neg p \lor q\)

Construct the truth table for \(\neg p \lor q\).

Step 1: Start with columns for \(p\) and \(q\), then add a column for \(\neg p\), and finally for \(\neg p \lor q\).

$$ \begin{array}{c|c|c|c} p & q & \neg p & \neg p \lor q \\\hline T & T & F & T \\ T & F & F & F \\ F & T & T & T \\ F & F & T & T \end{array} $$

Explanation:

• When \(p=T\), then \(\neg p=F\).
• When \(p=F\), then \(\neg p=T\).
• The disjunction \(\neg p \lor q\) is true when at least one part is true.

Conclusion: The statement is false only in the second row.

7. Worked Example 3: Evaluating \((p \lor q) \to p\)

This example is slightly harder because it has brackets and an implication.

Step 1: Evaluate the part inside the brackets first, which is \(p \lor q\).

Step 2: Use that result to evaluate the implication \((p \lor q) \to p\).

$$ \begin{array}{c|c|c|c} p & q & p \lor q & (p \lor q) \to p \\\hline T & T & T & T \\ T & F & T & T \\ F & T & T & F \\ F & F & F & T \end{array} $$

Why is the third row false?

In the third row, \(p=F\) and \(q=T\). So \(p \lor q=T\). That gives \(T \to F\), which is false. This is the only case where an implication is false.

8. Worked Example 4: Evaluating \((p \to q) \leftrightarrow (\neg q \to \neg p)\)

This is an important statement in logic because it compares an implication with its contrapositive.

We will build the table step by step.

$$ \begin{array}{c|c|c|c|c|c} p & q & p \to q & \neg q & \neg p & (\neg q \to \neg p) \\\hline T & T & T & F & F & T \\ T & F & F & T & F & F \\ F & T & T & F & T & T \\ F & F & T & T & T & T \end{array} $$

Now compare the two implication columns using a biconditional.

$$ \begin{array}{c|c|c|c|c|c|c} p & q & p \to q & \neg q & \neg p & \neg q \to \neg p & (p \to q) \leftrightarrow (\neg q \to \neg p) \\\hline T & T & T & F & F & T & T \\ T & F & F & T & F & F & T \\ F & T & T & F & T & T & T \\ F & F & T & T & T & T & T \end{array} $$

Conclusion: The final column is true in every row. So the statement is always true.

9. Tautology, contradiction, and contingency

Truth tables also help classify statements.

• A tautology is a compound statement that is true in every possible case.
• A contradiction is a compound statement that is false in every possible case.
• A contingency is a compound statement that is true in some cases and false in others.

Examples:

• \(p \lor \neg p\) is a tautology.
• \(p \land \neg p\) is a contradiction.
• \(p \land q\) is a contingency.

Let us verify two of these with truth tables.

Tautology example: \(p \lor \neg p\)

$$ \begin{array}{c|c|c} p & \neg p & p \lor \neg p \\\hline T & F & T \\ F & T & T \end{array} $$

The final column is always true, so this is a tautology.

Contradiction example: \(p \land \neg p\)

$$ \begin{array}{c|c|c} p & \neg p & p \land \neg p \\\hline T & F & F \\ F & T & F \end{array} $$

The final column is always false, so this is a contradiction.

10. Important ideas to remember about implication

Many students find implication strange because “if \(p\), then \(q\)” does not behave exactly like everyday speech. In formal logic, the rule is simple:

$$p \to q \text{ is false only when } p \text{ is true and } q \text{ is false.}$$

You can remember this by thinking: the promise “if \(p\), then \(q\)” is broken only when \(p\) happens but \(q\) does not.

For example, consider:

“If a number is divisible by 4, then it is even.”

• If the number is divisible by 4 and is even, the statement is true.
• If the number is not divisible by 4, the statement is still considered true in formal logic, because the condition did not occur.

11. Common mistakes

• Mixing up conjunction and disjunction: \(p \land q\) needs both true, but \(p \lor q\) needs at least one true.
• Forgetting that mathematical “or” is inclusive: if both parts are true, \(p \lor q\) is still true.
• Misreading implication: \(p \to q\) is not false when \(p\) is false.
• Skipping intermediate columns: always create columns for smaller parts of the statement first.
• Ignoring brackets: evaluate grouped parts before combining the whole expression.

12. Quick strategy for solving truth table questions

1. Identify the simple propositions involved.
2. Count how many rows are needed. For \(n\) propositions, you need \(2^n\) rows.
3. Write the rows in a systematic order.
4. Add columns for negations and bracketed expressions.
5. Fill in one column at a time carefully.
6. Check the final column to answer the question.

For example:

• 1 proposition gives \(2^1 = 2\) rows.
• 2 propositions give \(2^2 = 4\) rows.
• 3 propositions give \(2^3 = 8\) rows.

13. Final summary

Propositional logic studies statements that are either true or false. Compound statements are made using operators such as negation \((\neg)\), conjunction \((\land)\), disjunction \((\lor)\), implication \((\to)\), and biconditional \((\leftrightarrow)\).

A truth table is a systematic way to determine the truth value of a compound statement for every possible combination of truth values of its parts. By building truth tables carefully, you can evaluate logical expressions, test whether two statements are equivalent, and decide whether a statement is a tautology, contradiction, or contingency.

Once you understand the patterns for each logical operator, truth tables become a powerful and straightforward tool in mathematics.

Lesson: Quantifiers and Logical Equivalence

In mathematics, we often make statements about numbers, shapes, sets, or functions. Some statements talk about all objects in a group, while others say that at least one object has a certain property. To express these ideas clearly, mathematicians use quantifiers.

Understanding quantifiers is important because many mathematical statements depend on exactly what is being claimed. A small change, such as switching “for all” to “there exists,” can completely change the meaning of a statement.

In this lesson, you will learn how to recognize the two main quantifiers, how to negate statements involving quantifiers, and how to use logical equivalence, especially De Morgan's Laws, to rewrite statements correctly.

1. What are quantifiers?

A quantifier tells us how many objects in a set make a statement true.

• Universal quantifier: “for all” or “for every”
• Existential quantifier: “there exists” or “for some”

The symbol for the universal quantifier is \(\forall\), and the symbol for the existential quantifier is \(\exists\).

If \(P(x)\) is a statement involving a variable \(x\), then:

• \(\forall x\, P(x)\) means “for every \(x\), \(P(x)\) is true.”
• \(\exists x\, P(x)\) means “there is at least one \(x\) such that \(P(x)\) is true.”

For example:

• \(\forall x \in \mathbb{R},\; x^2 \ge 0\) means “for every real number \(x\), \(x^2\) is non-negative.”
• \(\exists x \in \mathbb{R}\) such that \(x^2 = 4\) means “there is a real number whose square is 4.”

2. Universal vs existential statements

It is very important to tell the difference between these two types of statements.

A universal statement must be true for every object in the given set. If even one example fails, then the whole statement is false.

An existential statement only needs one example that works. If you can find one value that makes it true, then the statement is true.

Compare these:

• \(\forall x \in \mathbb{R},\; x > 0\)
• \(\exists x \in \mathbb{R}\) such that \(x > 0\)

The first statement is false, because not every real number is positive.

The second statement is true, because numbers like \(1\) or \(2.5\) are positive.

3. The importance of the domain

The domain is the set of values the variable can come from. The truth of a quantified statement can change if the domain changes.

For example, consider:

\(\exists x\) such that \(x^2 = 2\)

This statement depends on the domain:

• If \(x \in \mathbb{R}\), the statement is true because \(x = \sqrt{2}\).
• If \(x \in \mathbb{Z}\), the statement is false because no integer has square 2.

So whenever you read a quantified statement, always ask: What set is \(x\) coming from?

4. Negating quantified statements

To negate a statement means to write its opposite. Negation is very important in proofs and in checking whether statements are logically equivalent.

The key rule is:

• The negation of “for all” becomes “there exists”
• The negation of “there exists” becomes “for all”

Symbolically:

These are very important logical equivalences.

They mean:

• “It is not true that all \(x\) satisfy \(P(x)\)” is the same as “There exists an \(x\) that does not satisfy \(P(x)\).”
• “It is not true that there exists an \(x\) satisfying \(P(x)\)” is the same as “For every \(x\), \(P(x)\) is false.”

5. De Morgan's Laws in logic

Before applying De Morgan's Laws to quantifiers, let us recall the basic logical forms:

In words:

• The negation of “\(P\) and \(Q\)” is “not \(P\) or not \(Q\)”
• The negation of “\(P\) or \(Q\)” is “not \(P\) and not \(Q\)”

These laws are used together with quantifier rules when negating more complicated statements.

6. De Morgan's Laws with quantifiers

Since quantified statements often contain conditions joined by “and” or “or,” you must negate both the quantifier and the inside statement correctly.

For example, if we negate

we get

Now apply De Morgan's Law inside:

So the final negation is:

This means “There exists some \(x\) for which at least one of the two properties fails.”

Similarly, if we negate

then

Using De Morgan's Law:

7. Logical equivalence

Two statements are logically equivalent if they always have the same truth value. We use the symbol \(\equiv\).

For example:

This means the two statements say the same thing in different forms.

Logical equivalence helps us rewrite statements in simpler or more useful ways, especially in proofs. A statement and its logically equivalent form can be used interchangeably.

8. Common mistakes to avoid

• Do not keep the same quantifier when negating. If you negate \(\forall\), it must become \(\exists\), and vice versa.
• Do not forget to negate the inside statement. Both the quantifier and the condition must change.
• Be careful with “and” and “or.” Under negation, \(\land\) changes to \(\lor\), and \(\lor\) changes to \(\land\).
• Always pay attention to the domain. A statement may be true in \(\mathbb{R}\) but false in \(\mathbb{Z}\).

9. Worked Examples

Example 1: Identify the quantifier and decide truth value

Consider the statement:

Step 1: Identify the quantifier.

The symbol \(\forall\) means this is a universal statement.

Step 2: Check whether it is true for all real numbers.

For any real number \(x\), adding 1 makes the number larger, so \(x+1 > x\) is always true.

Conclusion: The statement is true.

Example 2: Negate a simple quantified statement

Negate the statement:

Step 1: Change the quantifier.

The negation of \(\forall x\) is \(\exists x\).

Step 2: Negate the inside statement.

The negation of \(x^2 \ge 0\) is \(x^2 < 0\).

Negation:

This says “There exists a real number whose square is negative.”

Since no real number has a negative square, this negation is false, which matches the fact that the original statement is true.

Example 3: Negate a statement involving “and”

Negate the statement:

Step 1: Negate the universal quantifier.

Step 2: Apply De Morgan's Law to the inside.

Negation:

This means there is some real number for which at least one part of the original condition fails.

Example 4: Negate a statement involving “or” and an existential quantifier

Negate the statement:

Step 1: Negate the existential quantifier.

Step 2: Apply De Morgan's Law.

Negation:

This says “Every integer is neither 2 nor 3.”

The original statement is true because integers 2 and 3 do exist, so its negation is false.

10. A useful step-by-step method for negating quantified statements

1. Identify the main quantifier: \(\forall\) or \(\exists\).
2. Switch it to the opposite quantifier.
3. Negate the inside statement.
4. If the inside contains \(\land\) or \(\lor\), apply De Morgan's Law.
5. Simplify inequalities carefully.

Useful inequality negations include:

• Negation of \(x > a\) is \(x \le a\)
• Negation of \(x \ge a\) is \(x < a\)
• Negation of \(x = a\) is \(x \ne a\)
• Negation of \(x \ne a\) is \(x = a\)

11. Why this matters in mathematics

Quantifiers appear in definitions, theorems, and proofs throughout mathematics.

For example:

• A definition may say “for every” element in a set, some property holds.
• A proof may require you to show that “there exists” a number with a certain property.
• To disprove a universal statement, you only need one counterexample.
• To disprove an existential statement, you must show no example exists.

So learning quantifiers and logical equivalence helps you read mathematics precisely and write correct arguments.

Brief Summary

Quantifiers describe how many objects make a statement true. The universal quantifier \(\forall\) means “for all,” and the existential quantifier \(\exists\) means “there exists.” When negating quantified statements, switch \(\forall\) and \(\exists\), and negate the inside statement. De Morgan's Laws help when the inside contains “and” or “or,” allowing you to rewrite complex statements correctly and recognize logical equivalence.

Set Theory and Operations is one of the basic building blocks of mathematics. Sets help us organize objects, numbers, and ideas into clear groups. Once we understand how sets work, we can describe relationships between groups and solve problems in algebra, probability, logic, and many other areas of mathematics.

A set is a well-defined collection of objects. These objects are called elements or members of the set. For example, the set of vowels in English can be written as \(V = \{a,e,i,o,u\}\). If an object belongs to a set, we use the symbol \(\in\). If it does not belong, we use \(\notin\).

For example, if \(A = \{1,2,3,4\}\), then \(3 \in A\) and \(7 \notin A\).

Sets are usually written inside curly brackets. There are two common ways to describe a set:

• Roster form: list all elements, such as \(A = \{2,4,6,8\}\).
• Set-builder form: describe a property, such as \(A = \{x \in \mathbb{N} : x \text{ is even and } x < 10\}\).

In set-builder form, the notation means “the set of all \(x\) in the natural numbers such that \(x\) is even and less than 10.”

Before studying operations, it is important to know some common special sets:

• \(\emptyset\) or \(\{\}\): the empty set, which has no elements.
• \(\mathbb{N}\): natural numbers.
• \(\mathbb{Z}\): integers.
• \(\mathbb{Q}\): rational numbers.
• \(\mathbb{R}\): real numbers.
• \(U\): the universal set, which contains all objects being considered in a problem.

1. Subsets

A set \(A\) is a subset of a set \(B\) if every element of \(A\) is also an element of \(B\). We write this as \(A \subseteq B\).

For example, if \(A = \{1,2\}\) and \(B = \{1,2,3,4\}\), then \(A \subseteq B\) because every element of \(A\) is found in \(B\).

If \(A\) is a subset of \(B\), but \(A \neq B\), then \(A\) is called a proper subset of \(B\). This is written as \(A \subset B\).

Some important facts about subsets are:

• Every set is a subset of itself: \(A \subseteq A\).
• The empty set is a subset of every set: \(\emptyset \subseteq A\).
• If even one element of \(A\) is not in \(B\), then \(A\) is not a subset of \(B\).

2. Equality of Sets

Two sets are equal if they contain exactly the same elements. Order does not matter in sets, and repeated elements are not counted more than once.

For example, \(\{1,2,3\} = \{3,2,1\}\), and \(\{1,1,2,2,3\} = \{1,2,3\}\).

To show that two sets \(A\) and \(B\) are equal, we usually show both:

• \(A \subseteq B\)
• \(B \subseteq A\)

3. Union of Sets

The union of two sets \(A\) and \(B\) is the set of all elements that are in \(A\), or in \(B\), or in both. The symbol for union is \(\cup\).

In symbols,

$$A \cup B = \{x : x \in A \text{ or } x \in B\}$$

For example, if \(A = \{1,2,3\}\) and \(B = \{3,4,5\}\), then

$$A \cup B = \{1,2,3,4,5\}$$

Notice that the common element \(3\) is written only once.

4. Intersection of Sets

The intersection of two sets \(A\) and \(B\) is the set of all elements common to both sets. The symbol for intersection is \(\cap\).

In symbols,

$$A \cap B = \{x : x \in A \text{ and } x \in B\}$$

Using the same sets \(A = \{1,2,3\}\) and \(B = \{3,4,5\}\), we get

$$A \cap B = \{3\}$$

If two sets have no common elements, their intersection is the empty set. Such sets are called disjoint sets.

For example, \(\{1,2\} \cap \{3,4\} = \emptyset\).

5. Difference of Sets

The difference of sets \(A\) and \(B\), written \(A \setminus B\), is the set of elements that are in \(A\) but not in \(B\).

In symbols,

$$A \setminus B = \{x : x \in A \text{ and } x \notin B\}$$

If \(A = \{1,2,3,4\}\) and \(B = \{3,4,5\}\), then

$$A \setminus B = \{1,2\}$$

Similarly,

$$B \setminus A = \{5\}$$

This shows that set difference is not usually commutative. In general, \(A \setminus B \neq B \setminus A\).

6. Complement of a Set

The complement of a set depends on the universal set \(U\). The complement of \(A\), written \(A'\) or \(A^c\), is the set of all elements in \(U\) that are not in \(A\).

In symbols,

$$A^c = \{x \in U : x \notin A\}$$

For example, let \(U = \{1,2,3,4,5,6,7,8\}\) and \(A = \{2,4,6,8\}\). Then

$$A^c = \{1,3,5,7\}$$

Complement is very useful when solving logic and probability problems because it often helps us describe “everything not in the set.”

7. Cartesian Product

The Cartesian product of two sets \(A\) and \(B\), written \(A \times B\), is the set of all ordered pairs \((a,b)\) where \(a \in A\) and \(b \in B\).

In symbols,

$$A \times B = \{(a,b) : a \in A,\ b \in B\}$$

For example, if \(A = \{1,2\}\) and \(B = \{x,y\}\), then

$$A \times B = \{(1,x),(1,y),(2,x),(2,y)\}$$

It is important to remember that ordered pairs care about position. So \((1,x)\) is different from \((x,1)\). Because of this, in general, \(A \times B \neq B \times A\).

Cartesian products are used to describe coordinates, relations, and functions. For example, the coordinate plane is based on ordered pairs of real numbers, which come from \(\mathbb{R} \times \mathbb{R}\).

8. Important Laws of Set Operations

Set operations follow patterns similar to operations in algebra. These laws help simplify expressions and prove results.

• Commutative laws:
  • \(A \cup B = B \cup A\)
  • \(A \cap B = B \cap A\)
• Associative laws:
  • \((A \cup B) \cup C = A \cup (B \cup C)\)
  • \((A \cap B) \cap C = A \cap (B \cap C)\)
• Distributive laws:
  • \(A \cup (B \cap C) = (A \cup B) \cap (A \cup C)\)
  • \(A \cap (B \cup C) = (A \cap B) \cup (A \cap C)\)
• Identity laws:
  • \(A \cup \emptyset = A\)
  • \(A \cap U = A\)
• Domination laws:
  • \(A \cup U = U\)
  • \(A \cap \emptyset = \emptyset\)
• Complement laws:
  • \(A \cup A^c = U\)
  • \(A \cap A^c = \emptyset\)
  • \((A^c)^c = A\)

9. De Morgan’s Laws

De Morgan’s Laws are especially important in set theory and logic. They describe how complements work with unions and intersections.

$$ (A \cup B)^c = A^c \cap B^c $$

$$ (A \cap B)^c = A^c \cup B^c $$

These laws say:

• The complement of a union is the intersection of the complements.
• The complement of an intersection is the union of the complements.

These ideas are closely connected to the logic statements “not (P or Q)” and “not (P and Q).”

10. Venn Diagrams

A Venn diagram is a picture used to show relationships between sets. The universal set is usually drawn as a rectangle, and sets are shown as circles inside it.

Venn diagrams help us visualize:

• which elements belong to one set only,
• which elements belong to more than one set,
• which elements are outside a set, and
• how operations like union, intersection, and complement work.

Even when no picture is provided, thinking in terms of Venn diagrams can make set expressions easier to understand.

Worked Example 1: Finding subsets and operations

Let \(A = \{1,2,3,4\}\) and \(B = \{3,4,5,6\}\).

Find:

• \(A \cup B\)
• \(A \cap B\)
• \(A \setminus B\)
• Whether \(\{1,2\} \subseteq A\)

Step 1: Union

Take every distinct element from both sets:

$$A \cup B = \{1,2,3,4,5,6\}$$

Step 2: Intersection

Take the elements common to both sets:

$$A \cap B = \{3,4\}$$

Step 3: Difference

Take elements in \(A\) that are not in \(B\):

$$A \setminus B = \{1,2\}$$

Step 4: Subset check

Every element of \(\{1,2\}\) is in \(A\), so

$$\{1,2\} \subseteq A$$

Worked Example 2: Using complements

Let the universal set be \(U = \{1,2,3,4,5,6,7,8,9,10\}\). Let \(A = \{2,4,6,8,10\}\) and \(B = \{1,2,3,4,5\}\).

Find:

• \(A^c\)
• \(B^c\)
• \(A \cap B\)
• \((A \cap B)^c\)

Step 1: Find \(A^c\)

Remove all elements of \(A\) from \(U\):

$$A^c = \{1,3,5,7,9\}$$

Step 2: Find \(B^c\)

Remove all elements of \(B\) from \(U\):

$$B^c = \{6,7,8,9,10\}$$

Step 3: Find the intersection

Elements common to both \(A\) and \(B\) are:

$$A \cap B = \{2,4\}$$

Step 4: Find the complement of the intersection

Take all elements of \(U\) that are not in \(\{2,4\}\):

$$ (A \cap B)^c = \{1,3,5,6,7,8,9,10\} $$

Worked Example 3: Applying De Morgan’s Law

Let \(U = \{1,2,3,4,5,6,7,8\}\), \(A = \{1,2,3,4\}\), and \(B = \{3,4,5,6\}\).

Verify that

$$ (A \cup B)^c = A^c \cap B^c $$

Step 1: Find \(A \cup B\)

$$A \cup B = \{1,2,3,4,5,6\}$$

Step 2: Find its complement

$$ (A \cup B)^c = \{7,8\} $$

Step 3: Find each complement separately

$$A^c = \{5,6,7,8\}$$

$$B^c = \{1,2,7,8\}$$

Step 4: Find the intersection of the complements

$$A^c \cap B^c = \{7,8\}$$

Since both sides are equal, we have verified that

$$ (A \cup B)^c = A^c \cap B^c $$

Worked Example 4: Cartesian product

Let \(A = \{1,2,3\}\) and \(B = \{a,b\}\).

Find:

• \(A \times B\)
• the number of elements in \(A \times B\)

Step 1: Form ordered pairs

Pair each element of \(A\) with each element of \(B\):

$$A \times B = \{(1,a),(1,b),(2,a),(2,b),(3,a),(3,b)\}$$

Step 2: Count the pairs

There are 3 choices from \(A\) and 2 choices from \(B\), so

$$|A \times B| = 3 \times 2 = 6$$

In general, if a set \(A\) has \(m\) elements and a set \(B\) has \(n\) elements, then

$$|A \times B| = mn$$

Common Mistakes to Avoid

• Repeating elements in a set: each element is written only once.
• Ignoring the universal set: complements cannot be found unless the universal set is known.
• Confusing union and intersection: union means “in either set,” while intersection means “in both sets.”
• Forgetting order in Cartesian products: \((a,b)\) and \((b,a)\) are usually different.
• Assuming set difference is commutative: usually \(A \setminus B \neq B \setminus A\).

How Set Theory Connects to Other Areas of Maths

• In logic, sets help represent truth conditions and logical statements.
• In probability, events are treated as sets, and operations like union and intersection describe combined events.
• In functions and relations, Cartesian products provide the set of possible input-output pairs.
• In proofs, set notation allows precise and rigorous reasoning.

Brief Summary

A set is a collection of elements, and set theory studies how these collections relate to each other. Important ideas include subsets, equality of sets, union, intersection, difference, complement, and Cartesian product.

To work confidently with sets, always pay attention to definitions. Ask yourself whether an element is in one set, both sets, or outside the sets being considered. With practice, these operations become a powerful language for describing mathematical ideas clearly and accurately.

Number Systems and Field Properties are part of the foundation of higher mathematics. They help us understand what kinds of numbers exist, how those number sets are related, and which operations behave in predictable ways.

In this lesson, you will learn the hierarchy of the main number systems: natural numbers, integers, rational numbers, real numbers, and complex numbers. You will also study important algebraic properties such as closure, commutative, associative, and distributive properties.

These ideas matter because almost every topic in algebra, calculus, and advanced mathematics depends on them. When you solve equations, simplify expressions, or justify steps in a proof, you are using these foundations.

1. The hierarchy of number systems

A number system is a set of numbers that share common properties. As mathematics developed, larger number systems were created to solve more kinds of problems.

The main number systems you need to know are:

• Natural numbers: counting numbers such as \(1,2,3,4,\dots\). In some contexts, \(0\) is included, but many school courses define natural numbers starting at \(1\).
• Whole numbers: \(0,1,2,3,\dots\). These are often useful, although they are not always the main focus.
• Integers: positive whole numbers, negative whole numbers, and zero: \(\dots,-3,-2,-1,0,1,2,3,\dots\).
• Rational numbers: numbers that can be written as a fraction \(\frac{a}{b}\), where \(a\) and \(b\) are integers and \(b\ne 0\).
• Real numbers: all rational and irrational numbers together. Irrational numbers cannot be written as exact fractions, such as \(\sqrt{2}\), \(\pi\), and \(e\).
• Complex numbers: numbers of the form \(a+bi\), where \(a\) and \(b\) are real numbers and \(i^2=-1\).

These sets are related by inclusion. Each new set contains the previous ones:

$$\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}$$

Here:

• \(\mathbb{N}\) represents natural numbers
• \(\mathbb{Z}\) represents integers
• \(\mathbb{Q}\) represents rational numbers
• \(\mathbb{R}\) represents real numbers
• \(\mathbb{C}\) represents complex numbers

This means every natural number is an integer, every integer is a rational number, every rational number is a real number, and every real number is a complex number.

2. Understanding each number system more clearly

Natural numbers are used for counting objects. For example, if you have 5 books, the number 5 is a natural number.

Integers are needed when negatives appear. For example, temperatures like \(-4^\circ\text{C}\) or a debt of \(-20\) require integers.

Rational numbers include fractions and terminating or repeating decimals. For example:

• \(\frac{3}{4}\)
• \(-2=\frac{-2}{1}\)
• \(0.75\)
• \(0.333\dots = \frac{1}{3}\)

Real numbers include all points on the number line. This includes rational numbers and irrational numbers like \(\sqrt{3}\), which has a decimal expansion that never ends and never repeats.

Complex numbers are needed to solve equations like

$$x^2+1=0$$

There is no real number whose square is \(-1\), so mathematicians define \(i\) by

$$i^2=-1$$

Then the solutions are \(x=\pm i\), which are complex numbers.

3. Classifying numbers

A single number can belong to more than one number system. Usually, we classify it by the smallest set it belongs to.

For example:

• \(4\) is a natural number, but also an integer, rational, real, and complex number. Smallest set: \(\mathbb{N}\).
• \(-7\) is an integer, also rational, real, and complex. Smallest set: \(\mathbb{Z}\).
• \(\frac{5}{8}\) is rational, real, and complex. Smallest set: \(\mathbb{Q}\).
• \(\sqrt{2}\) is real and complex, but not rational. Smallest set: \(\mathbb{R}\).
• \(3-2i\) is complex but not real. Smallest set: \(\mathbb{C}\).

4. What is a field?

A field is a number system in which addition, subtraction, multiplication, and division by nonzero numbers work in a consistent way.

At this level, the most important fields are:

• The rational numbers \(\mathbb{Q}\)
• The real numbers \(\mathbb{R}\)
• The complex numbers \(\mathbb{C}\)

The integers are not a field because division does not always stay inside the integers. For example, \(1\div 2=\frac{1}{2}\), and \(\frac{1}{2}\notin \mathbb{Z}\).

Natural numbers are also not a field because subtraction and division do not always stay inside the natural numbers.

5. Closure property

A set is closed under an operation if performing that operation on members of the set always gives another member of the same set.

Examples:

• Integers are closed under addition because if \(a\) and \(b\) are integers, then \(a+b\) is an integer.
• Integers are closed under subtraction because \(a-b\) is still an integer.
• Integers are closed under multiplication because \(ab\) is still an integer.
• Integers are not closed under division because \(1\div 2=\frac{1}{2}\), not an integer.

More examples:

• Natural numbers are closed under addition and multiplication.
• Natural numbers are not always closed under subtraction, since \(3-5=-2\), which is not natural.
• Rational numbers are closed under addition, subtraction, multiplication, and division by nonzero rationals.
• Real numbers are closed under addition, subtraction, multiplication, and division by nonzero reals.
• Complex numbers are closed under addition, subtraction, multiplication, and division by nonzero complex numbers.

6. Commutative property

The commutative property says that changing the order does not change the result.

For addition:

$$a+b=b+a$$

For multiplication:

$$ab=ba$$

Examples:

• \(4+7=7+4\)
• \(3\cdot 5=5\cdot 3\)

Subtraction and division are not commutative in general:

• \(8-3\ne 3-8\)
• \(12\div 4\ne 4\div 12\)

This property holds for addition and multiplication in \(\mathbb{Q}\), \(\mathbb{R}\), and \(\mathbb{C}\).

7. Associative property

The associative property says that when adding or multiplying, the grouping does not change the result.

For addition:

$$ (a+b)+c=a+(b+c) $$

For multiplication:

$$ (ab)c=a(bc) $$

Examples:

• \((2+3)+4=2+(3+4)=9\)
• \((2\cdot 3)\cdot 4=2\cdot (3\cdot 4)=24\)

Subtraction and division are not associative in general:

• \((10-4)-2=4\), but \(10-(4-2)=8\)
• \((16\div 4)\div 2=2\), but \(16\div (4\div 2)=8\)

8. Distributive property

The distributive property connects multiplication and addition:

$$a(b+c)=ab+ac$$

It also works with subtraction:

$$a(b-c)=ab-ac$$

Example:

$$3(4+5)=3\cdot 4+3\cdot 5=12+15=27$$

This property is one of the most important tools in algebra. It is used when expanding expressions, factoring, and solving equations.

9. Identity elements

An identity element leaves a number unchanged under an operation.

• The additive identity is \(0\), because \(a+0=a\).
• The multiplicative identity is \(1\), because \(a\cdot 1=a\).

These identities are essential in field properties. They exist in \(\mathbb{Q}\), \(\mathbb{R}\), and \(\mathbb{C}\).

10. Inverse elements

An inverse undoes an operation.

• The additive inverse of \(a\) is \(-a\), because \(a+(-a)=0\).
• The multiplicative inverse of \(a\) is \(\frac{1}{a}\), provided \(a\ne 0\), because \(a\cdot \frac{1}{a}=1\).

For example:

• The additive inverse of \(7\) is \(-7\).
• The multiplicative inverse of \(7\) is \(\frac{1}{7}\).

Notice that \(0\) has no multiplicative inverse because there is no number \(x\) such that \(0\cdot x=1\).

11. Why these are called field properties

A field is built from these ideas:

• Closure under addition, subtraction, multiplication, and division by nonzero elements
• Commutative property for addition and multiplication
• Associative property for addition and multiplication
• Distributive property of multiplication over addition
• Additive and multiplicative identities
• Additive inverses for all elements and multiplicative inverses for all nonzero elements

You do not need to memorize the formal definition word for word, but you should understand that these properties explain why algebra works so reliably in systems like \(\mathbb{R}\) and \(\mathbb{C}\).

Worked Example 1: Classify each number in the smallest possible number system

Classify: \(6\), \(-3\), \(\frac{7}{10}\), \(\sqrt{5}\), \(2+i\).

Solution

• \(6\) is a natural number, so smallest set: \(\mathbb{N}\).
• \(-3\) is not natural, but it is an integer, so smallest set: \(\mathbb{Z}\).
• \(\frac{7}{10}\) is a ratio of integers, so it is rational, smallest set: \(\mathbb{Q}\).
• \(\sqrt{5}\) cannot be written as a fraction of integers, so it is irrational. It is a real number, smallest set: \(\mathbb{R}\).
• \(2+i\) contains the imaginary unit \(i\), so it is complex, smallest set: \(\mathbb{C}\).

Worked Example 2: Determine whether a set is closed under an operation

Is the set of natural numbers closed under subtraction?

Solution

To be closed under subtraction, subtracting any two natural numbers must always give another natural number.

Try a counterexample:

$$3-5=-2$$

Since \(-2\) is not a natural number, the natural numbers are not closed under subtraction.

Worked Example 3: Identify the property used

Name the property shown in

$$4(x+6)=4x+24$$

Solution

The number \(4\) is multiplied by both terms inside the parentheses:

$$4(x+6)=4\cdot x+4\cdot 6$$

This is the distributive property.

Worked Example 4: Use field properties to simplify an expression

Simplify:

$$3(y+2)-5y$$

Solution

First use the distributive property:

$$3(y+2)=3y+6$$

So the expression becomes

$$3y+6-5y$$

Now combine like terms:

$$3y-5y+6=-2y+6$$

The simplified expression is

$$-2y+6$$

12. Important cautions and common mistakes

• Do not assume every operation is closed in every set. For example, integers are not closed under division.
• Do not apply commutative or associative properties to subtraction or division. These properties usually fail for those operations.
• Remember that irrational numbers are real numbers. Real numbers include both rational and irrational numbers.
• Complex numbers include real numbers. Every real number can be written as \(a+0i\).
• Zero has no multiplicative inverse. Division by zero is undefined.

13. A useful comparison table

The following ideas summarize how the main sets behave:

• Natural numbers \(\mathbb{N}\): closed under addition and multiplication, but not always under subtraction or division.
• Integers \(\mathbb{Z}\): closed under addition, subtraction, and multiplication, but not always under division.
• Rational numbers \(\mathbb{Q}\): closed under addition, subtraction, multiplication, and division by nonzero numbers.
• Real numbers \(\mathbb{R}\): same closure behavior as rational numbers for the four basic operations, except division by zero is still undefined.
• Complex numbers \(\mathbb{C}\): also closed under the four basic operations, except division by zero is undefined.

14. Why this topic matters for proofs and advanced mathematics

When you justify algebra steps, you are often using field properties, even if you do not say their names. For example, when you rearrange terms in an equation, you may be using the commutative or associative property. When you expand an expression, you are using the distributive property.

Understanding number systems also helps you know whether a solution is valid in a given context. An equation might have a real solution, a rational solution, or only a complex solution. Knowing the number system tells you what answers are allowed.

Summary

The number systems form a hierarchy:

$$\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}$$

Each larger set includes more numbers and allows more equations to be solved. Field properties such as closure, commutative, associative, distributive, identity, and inverse properties explain why operations in systems like \(\mathbb{Q}\), \(\mathbb{R}\), and \(\mathbb{C}\) work consistently. Mastering these ideas gives you a strong foundation for algebra, proof, and all later mathematics.

Methods of Mathematical Proof are ways of showing that a mathematical statement is true or false using clear logical reasoning. In higher-level mathematics, it is not enough to guess or test only a few examples. A statement must be justified in a way that works for every case it claims to cover.

In this lesson, you will learn four important proof methods:

• Direct proof
• Proof by contraposition
• Proof by contradiction
• Counterexample to show a statement is false

These methods are especially useful when working with statements about numbers, sets, algebraic expressions, and logical conditions.

Why proof matters: A proof explains why something is true. It connects assumptions to a conclusion using valid steps. This makes mathematics reliable and consistent.

1. Understanding mathematical statements

Many proofs begin with an if-then statement, also called a conditional statement. It has the form:

\(\text{If } P, \text{ then } Q\)

Here, \(P\) is the hypothesis and \(Q\) is the conclusion.

For example:

"If an integer is even, then its square is even."

• Hypothesis: the integer is even
• Conclusion: its square is even

To prove such a statement, we assume the hypothesis is true and then use logic to reach the conclusion.

2. Direct proof

A direct proof starts by assuming the hypothesis is true. Then we use definitions, algebra, and known facts to show the conclusion must also be true.

This method works well when the conclusion follows naturally from the given condition.

Common strategy for direct proof:

1. Assume the hypothesis is true.
2. Rewrite the hypothesis using definitions.
3. Use algebra or logical steps.
4. Reach the conclusion.

Important definitions often used:

• An integer is even if it can be written as \(2k\) for some integer \(k\).
• An integer is odd if it can be written as \(2k+1\) for some integer \(k\).

Worked Example 1: Direct Proof

Prove: If \(n\) is an even integer, then \(n^2\) is even.

Step 1: Assume the hypothesis.

Let \(n\) be an even integer. By definition of even, there exists an integer \(k\) such that

$$n = 2k$$

Step 2: Square both sides.

$$n^2 = (2k)^2 = 4k^2 = 2(2k^2)$$

Step 3: Use the definition of even.

Since \(2k^2\) is an integer, \(n^2\) has the form \(2m\) for some integer \(m\). Therefore, \(n^2\) is even.

Conclusion: If \(n\) is even, then \(n^2\) is even.

3. Proof by contraposition

Sometimes a direct proof is awkward. In that case, it can be easier to prove the contrapositive instead.

The contrapositive of

\(\text{If } P, \text{ then } Q\)

is

\(\text{If not } Q, \text{ then not } P\)

A statement and its contrapositive are logically equivalent. This means proving one also proves the other.

Example of form:

• Original: If a number is divisible by 4, then it is even.
• Contrapositive: If a number is not even, then it is not divisible by 4.

When to use contraposition:

• When the conclusion is negative or difficult to prove directly
• When the opposite of the conclusion gives useful information

Worked Example 2: Proof by Contraposition

Prove: If \(n^2\) is even, then \(n\) is even.

A direct proof is not obvious here, so we prove the contrapositive:

If \(n\) is odd, then \(n^2\) is odd.

Step 1: Assume \(n\) is odd.

Then there exists an integer \(k\) such that

$$n = 2k + 1$$

Step 2: Square the expression.

$$n^2 = (2k+1)^2 = 4k^2 + 4k + 1 = 2(2k^2+2k) + 1$$

Step 3: Use the definition of odd.

Since \(2k^2+2k\) is an integer, \(n^2\) has the form \(2m+1\). Therefore, \(n^2\) is odd.

So the contrapositive is true. Therefore, the original statement is true:

$$\text{If } n^2 \text{ is even, then } n \text{ is even.}$$

4. Proof by contradiction

In a proof by contradiction, we begin by assuming the statement we want to prove is false. Then we show that this assumption leads to an impossible result, called a contradiction.

A contradiction could be:

• A statement and its opposite both being true
• A violation of a known fact
• An algebraic impossibility such as \(0 = 1\)

If assuming the statement is false leads to a contradiction, then the statement must be true.

General structure:

1. Suppose the statement is false.
2. Follow the logic of that assumption.
3. Reach a contradiction.
4. Conclude the original statement is true.

Worked Example 3: Proof by Contradiction

Prove: There is no smallest positive rational number.

Step 1: Assume the opposite.

Suppose there is a smallest positive rational number. Call it \(r\).

So \(r > 0\), \(r\) is rational, and no positive rational number is smaller than \(r\).

Step 2: Create a smaller positive rational number.

Consider

$$\frac{r}{2}$$

Since rational numbers are closed under division by a nonzero rational number, \(\frac{r}{2}\) is rational. Also, because \(r > 0\), we have

$$0 < \frac{r}{2} < r$$

Step 3: Find the contradiction.

This means \(\frac{r}{2}\) is a positive rational number smaller than \(r\), which contradicts the assumption that \(r\) was the smallest positive rational number.

Conclusion: There is no smallest positive rational number.

5. Counterexample

Not every statement is true. To show that a universal statement is false, you only need one counterexample.

A universal statement often has words like:

• all
• every
• for all
• whenever

If just one example fails, then the whole statement is false.

Important: A counterexample does not prove a statement true. It only proves a statement false.

Worked Example 4: Using a Counterexample

Decide whether the statement is true or false:

"For all real numbers \(x\), if \(x^2 > x\), then \(x > 1\)."

To test whether this is false, look for a value of \(x\) such that:

• \(x^2 > x\) is true, but
• \(x > 1\) is false

Try \(x = -1\).

Then

$$(-1)^2 = 1$$

and

$$1 > -1$$

so the hypothesis is true.

But \(-1 > 1\) is false.

So \(x = -1\) is a counterexample.

Conclusion: The statement is false.

6. Choosing the right proof method

Different situations suggest different proof techniques.

• Use direct proof when the hypothesis can be easily rewritten and leads naturally to the conclusion.
• Use contraposition when proving "not \(Q\) implies not \(P\)" is easier than proving "\(P\) implies \(Q\)."
• Use contradiction when assuming the opposite leads to an impossible result.
• Use a counterexample when you think a statement may be false.

7. Common mistakes to avoid

• Checking only examples: Seeing that a statement works for several numbers does not prove it for all numbers.
• Using the conclusion in the proof: Do not assume what you are trying to prove.
• Confusing converse and contrapositive:
  • Converse of "If \(P\), then \(Q\)" is "If \(Q\), then \(P\)."
  • Contrapositive is "If not \(Q\), then not \(P\)."
  • Only the contrapositive is always logically equivalent to the original statement.
• Giving an example instead of a proof: One correct example supports an idea, but does not prove a universal statement.

8. Quick comparison of the four methods

• Direct proof: Start from the hypothesis and logically reach the conclusion.
• Contraposition: Prove the equivalent statement "if not \(Q\), then not \(P\)."
• Contradiction: Assume the statement is false and show that this leads to an impossibility.
• Counterexample: Give one case showing the statement fails.

9. Final thoughts

Mathematical proof is about certainty, not guesswork. Each proof method gives you a different way to build a valid argument. As you practice, you will become better at recognizing which method fits a particular problem.

When reading or writing a proof, always ask:

• What is given?
• What must be shown?
• Which proof method is most suitable?
• Does each step follow logically from the previous one?

These questions help you write proofs that are clear, correct, and convincing.

Intervals, inequalities, and absolute value are closely connected ideas in mathematics. They help us describe sets of numbers, compare values, and measure distance on the number line. These ideas appear often in algebra, functions, graphing, and later topics in calculus and higher mathematics.

In this lesson, you will learn how to read and write intervals, solve and represent inequalities, and understand absolute value as a distance. You will also see how these ideas connect to set notation and graphs on the real number line.

1. Intervals on the real number line

An interval is a set of real numbers that lies between two endpoints, or extends forever in one or both directions. Intervals are a compact way to describe numerical domains.

Here are the main types of intervals:

• Open interval:
  $$ (a,b) = \{x \in \mathbb{R} : a < x < b\} $$ This includes all numbers between \(a\) and \(b\), but not the endpoints.
• Closed interval:
  $$ [a,b] = \{x \in \mathbb{R} : a \le x \le b\} $$ This includes all numbers between \(a\) and \(b\), including both endpoints.
• Half-open intervals:
  $$ [a,b) = \{x \in \mathbb{R} : a \le x < b\} $$ $$ (a,b] = \{x \in \mathbb{R} : a < x \le b\} $$
• Infinite intervals:
  $$ (-\infty,a), \quad (-\infty,a], \quad (a,\infty), \quad [a,\infty) $$ Infinity is never included, so parentheses are always used with \(\infty\) and \(-\infty\).

For example:

• \((-2,5]\) means all real numbers greater than \(-2\) and less than or equal to \(5\).
• \([0,\infty)\) means all real numbers greater than or equal to \(0\).

2. Interval notation, set-builder notation, and graphs

The same set can be written in different ways:

• Interval notation
• Set-builder notation
• Graph on a number line

For example, the set of all real numbers between \(1\) and \(4\), including \(1\) but not \(4\), can be written as:

• Interval notation: \([1,4)\)
• Set-builder notation: \(\{x \in \mathbb{R} : 1 \le x < 4\}\)

On a number line, this would be shown with a closed dot at \(1\), an open dot at \(4\), and a shaded line between them.

Important meaning of brackets:

• \([\,]\) means the endpoint is included.
• \((\, )\) means the endpoint is not included.

3. Inequalities

An inequality compares two expressions using symbols such as:

• \(<\) less than
• \(>\) greater than
• \(\le\) less than or equal to
• \(\ge\) greater than or equal to

Examples:

• \(x > 3\)
• \(2x - 1 \le 7\)
• \(-4 \le y < 2\)

Solving an inequality means finding all values of the variable that make the statement true.

Basic rules for solving inequalities are similar to solving equations:

• You may add the same number to both sides.
• You may subtract the same number from both sides.
• You may multiply both sides by the same positive number.
• You may divide both sides by the same positive number.

However, there is one very important extra rule:

If you multiply or divide both sides of an inequality by a negative number, you must reverse the inequality sign.

For example, if

$$ -2x > 6 $$

then dividing both sides by \(-2\) gives

$$ x < -3 $$

The sign changes from \(>\) to \(<\).

4. Compound inequalities

A compound inequality has two inequality statements joined together. It usually uses and or or.

AND inequalities describe numbers that satisfy both conditions at the same time.

Example:

$$ 2 \le x < 7 $$

This means \(x\) is at least \(2\) and less than \(7\). In interval notation:

$$ [2,7) $$

OR inequalities describe numbers that satisfy at least one of the conditions.

Example:

$$ x < -1 \quad \text{or} \quad x \ge 4 $$

In interval notation:

$$ (-\infty,-1) \cup [4,\infty) $$

The symbol \(\cup\) means union, which combines sets.

5. Set operations with intervals

Since intervals are sets of real numbers, we can use set operations on them.

• Union \((A \cup B)\): all numbers in \(A\) or \(B\) or both
• Intersection \((A \cap B)\): all numbers in both \(A\) and \(B\)

Example:

Let

$$ A = [1,5], \quad B = (3,8) $$

Then:

• \(A \cup B = [1,8)\)
• \(A \cap B = (3,5]\)

This idea is useful when solving compound inequalities and describing domains.

6. Absolute value as distance

The absolute value of a number is its distance from \(0\) on the real number line. Because distance cannot be negative, absolute value is always non-negative.

Examples:

• \(|5| = 5\)
• \(|-5| = 5\)
• \(|0| = 0\)

More generally,

$$ |x| = \begin{cases} x, & x \ge 0 \\ -x, & x < 0 \end{cases} $$

This means:

• If \(x\) is positive or zero, \(|x| = x\).
• If \(x\) is negative, \(|x| = -x\), which makes the result positive.

Absolute value can also describe distance between two numbers.

The distance between \(x\) and \(a\) is

$$ |x-a| $$

For example, \(|x-3|\) means the distance between \(x\) and \(3\).

7. Solving absolute value equations

If an absolute value equals a positive number, there are usually two cases.

Example:

$$ |x-3| = 5 $$

This means the distance between \(x\) and \(3\) is \(5\). So \(x\) can be:

$$ x-3 = 5 \quad \text{or} \quad x-3 = -5 $$

Solving gives:

$$ x=8 \quad \text{or} \quad x=-2 $$

8. Solving absolute value inequalities

Absolute value inequalities are best understood as distance statements.

Case 1: Less than

$$ |x-a| < r $$

means the distance from \(x\) to \(a\) is less than \(r\). So \(x\) must lie within \(r\) units of \(a\):

$$ -r < x-a < r $$

Case 2: Greater than

$$ |x-a| > r $$

means the distance from \(x\) to \(a\) is greater than \(r\). So \(x\) must lie outside that interval:

$$ x-a < -r \quad \text{or} \quad x-a > r $$

These patterns also work with \(\le\) and \(\ge\).

Key patterns to remember:

• $$ |x-a| < r \quad \Rightarrow \quad a-r < x < a+r $$
• $$ |x-a| \le r \quad \Rightarrow \quad a-r \le x \le a+r $$
• $$ |x-a| > r \quad \Rightarrow \quad x < a-r \text{ or } x > a+r $$
• $$ |x-a| \ge r \quad \Rightarrow \quad x \le a-r \text{ or } x \ge a+r $$

9. Worked examples

Example 1: Solve a basic inequality and write the answer in interval notation

Solve:

$$ 3x - 4 \le 11 $$

Step 1: Add \(4\) to both sides.

$$ 3x \le 15 $$

Step 2: Divide both sides by \(3\).

$$ x \le 5 $$

Answer:

• Inequality form: \(x \le 5\)
• Interval notation: $$ (-\infty,5] $$

Example 2: Solve an inequality involving a negative coefficient

Solve:

$$ -2x + 7 > 1 $$

Step 1: Subtract \(7\) from both sides.

$$ -2x > -6 $$

Step 2: Divide both sides by \(-2\). Reverse the inequality sign.

$$ x < 3 $$

Answer:

• Inequality form: \(x < 3\)
• Interval notation: $$ (-\infty,3) $$

Example 3: Solve a compound inequality

Solve:

$$ -1 \le 2x + 3 < 7 $$

Step 1: Subtract \(3\) from all three parts.

$$ -4 \le 2x < 4 $$

Step 2: Divide all three parts by \(2\).

$$ -2 \le x < 2 $$

Answer:

• Inequality form: \(-2 \le x < 2\)
• Interval notation: $$ [-2,2) $$

Example 4: Solve an absolute value inequality

Solve:

$$ |x-4| \le 3 $$

This means the distance between \(x\) and \(4\) is at most \(3\).

Rewrite as a compound inequality:

$$ -3 \le x-4 \le 3 $$

Add \(4\) to all three parts:

$$ 1 \le x \le 7 $$

Answer:

• Inequality form: \(1 \le x \le 7\)
• Interval notation: $$ [1,7] $$

10. Common mistakes to avoid

• Mixing up parentheses and brackets. Parentheses mean not included; brackets mean included.
• Forgetting to reverse the inequality sign when multiplying or dividing by a negative number.
• Misreading absolute value. Remember that absolute value is distance, so it cannot be negative.
• Confusing “and” with “or”. “And” means overlap or intersection; “or” means union.
• Including infinity with a bracket. Never write something like \([\infty)\) or \((-\infty]\). Infinity is not an endpoint you can include.

11. How these ideas fit together

Intervals describe sets of numbers. Inequalities are algebraic statements that often define those sets. Absolute value gives a way to describe distances, which leads naturally to interval descriptions.

For example:

• \(2 < x \le 6\) corresponds to the interval \((2,6]\).
• \(|x-1| < 4\) means \(x\) is within \(4\) units of \(1\), so \(-3 < x < 5\), which is \((-3,5)\).

When you move easily between words, inequalities, interval notation, set notation, and number-line graphs, you have a strong foundation for many later topics in mathematics.

Brief summary

Intervals are sets of real numbers written compactly with parentheses and brackets. Inequalities describe these sets algebraically, and their solutions can be shown in interval notation and on a number line. Absolute value represents distance, which helps solve equations and inequalities such as \(|x-a| < r\) or \(|x-a| > r\). Understanding how all three ideas connect is an important part of mathematical foundations.

Lesson: Variables, Constants, and Parameters

In mathematics, we often use letters and symbols to represent numbers. However, not every letter plays the same role. Some letters can change, some stand for fixed values, and some describe how a whole formula or model is set up. These roles are called variables, constants, and parameters.

Understanding the difference between them is very important in algebra, functions, logic, and mathematical modeling. If you can identify what is allowed to change and what stays fixed, equations become much easier to interpret correctly.

This lesson will explain each idea clearly, show how they appear in formulas, and help you tell them apart in different situations.

1. What is a variable?

A variable is a symbol that can take different values. It represents a quantity that is allowed to change.

For example, in the expression \(x + 5\), the letter \(x\) is a variable because it could be \(1\), \(10\), \(-3\), or many other numbers.

Variables are commonly used to:

• represent unknown values,
• show changing quantities,
• describe inputs and outputs in functions.

Examples of variables:

• In \(y = 2x + 3\), both \(x\) and \(y\) are variables.
• In \(A = lw\), the letters \(l\) and \(w\) can be variables if length and width are allowed to vary.
• In logic, a statement variable such as \(p\) may represent different propositions.

2. What is a constant?

A constant is a value that stays fixed. It does not change within the problem or expression being considered.

For example, in \(y = 2x + 3\), the numbers \(2\) and \(3\) are constants because they stay the same while \(x\) changes.

Constants can be:

• specific numbers, such as \(4\), \(-7\), or \(\frac{1}{2}\),
• special mathematical values, such as \(\pi\) or \(e\),
• fixed named quantities in a given context.

For instance, in the formula for the circumference of a circle,

the symbol \(r\) is a variable if the radius can change, while \(2\) and \(\pi\) are constants.

3. What is a parameter?

A parameter is a symbol that is treated as fixed for one situation, but can take different values in different situations. A parameter helps describe the form or structure of a model.

This means a parameter is not changing in the same way as the main variable of the problem. Instead, it controls the equation or family of equations.

For example, consider the linear equation

Here:

• \(x\) and \(y\) are variables,
• \(m\) and \(b\) are parameters.

Why are \(m\) and \(b\) parameters? Because for one particular line, \(m\) and \(b\) are fixed. But if we choose different values of \(m\) and \(b\), we get different lines.

So parameters describe a whole family of mathematical objects.

4. Comparing the three ideas

The easiest way to separate these terms is to ask: What is changing right now, what is fixed right now, and what defines the model?

• Variable: changes within the problem or function.
• Constant: stays fixed and is usually a specific value.
• Parameter: stays fixed during one case, but can be changed to create a different case or model.

Another way to think about it:

• A variable is the quantity you are usually solving for or tracking.
• A constant is a number that remains unchanged.
• A parameter is a value that shapes the equation.

5. Variables, constants, and parameters in functions

Functions are one of the most common places where these ideas appear.

Consider

In this expression:

• \(x\) is the variable, because it is the input.
• \(a\), \(b\), and \(c\) are parameters if we are talking about a general quadratic function.

Once we choose particular values such as \(a=2\), \(b=-3\), and \(c=1\), the function becomes

Now the numbers \(2\), \(-3\), and \(1\) are constants in that specific function.

This shows an important idea: a parameter in a general formula becomes a constant when a specific case is chosen.

6. Context matters

A letter does not automatically have one role forever. Its role depends on the context.

For example, in

if you are studying circles of many different sizes, then \(r\) and \(A\) are variables, while \(\pi\) is a constant.

But if one circle has radius \(r=5\), then in that specific situation, \(r\) is being treated as a fixed value.

So when identifying variables, constants, and parameters, always ask what the problem allows to change.

7. Connection to mathematical modeling

In mathematical modeling, variables often represent quantities that change in real life, such as time, distance, temperature, or population.

Parameters represent characteristics of the system being modeled. For example, in a growth model, a parameter might represent the growth rate. Different values of that parameter give different growth behaviors.

For example, consider

where \(P(t)\) is the value at time \(t\).

• \(t\) is the variable, because time changes.
• \(P(t)\) is also variable because it depends on \(t\).
• \(P_0\) and \(r\) are parameters if we are describing a general linear model.

If we choose \(P_0=100\) and \(r=5\), then the model becomes

In that specific model, \(100\) and \(5\) are constants.

8. Worked Example 1: Identifying roles in a simple expression

Identify the variable and constants in

Step 1: Look for what can change. The value of \(x\) can vary, so \(x\) is a variable.

Step 2: Since \(y\) depends on \(x\), \(y\) is also a variable.

Step 3: The numbers \(4\) and \(-7\) stay fixed, so they are constants.

Answer:

• Variables: \(x\), \(y\)
• Constants: \(4\), \(-7\)

9. Worked Example 2: Recognizing parameters

In the equation

identify the variable, parameter, and constant.

Step 1: \(x\) is the input, so it is a variable.

Step 2: \(y\) changes with \(x\), so it is also a variable.

Step 3: The number \(2\) is fixed, so it is a constant.

Step 4: The symbol \(m\) is not changing as \(x\) changes for one line, but choosing a different \(m\) gives a different line. So \(m\) is a parameter.

Answer:

• Variables: \(x\), \(y\)
• Parameter: \(m\)
• Constant: \(2\)

10. Worked Example 3: General quadratic function

Consider

What are the variables, and what are the parameters?

Step 1: The input \(x\) can change, so \(x\) is the variable.

Step 2: The output \(f(x)\) changes when \(x\) changes, so it is also variable.

Step 3: The letters \(a\), \(b\), and \(c\) set the shape and position of the parabola. For one chosen quadratic, they are fixed, but different choices produce different quadratics. Therefore, they are parameters.

Answer:

• Variables: \(x\), \(f(x)\)
• Parameters: \(a\), \(b\), \(c\)

If we choose \(a=1\), \(b=0\), and \(c=-4\), then the function becomes

Now \(1\), \(0\), and \(-4\) are constants in this specific function.

11. Worked Example 4: A modeling situation

A taxi fare is modeled by

where \(F\) is the fare and \(d\) is the distance traveled.

Identify the variables and constants, and explain what they mean.

Step 1: The distance \(d\) can vary from trip to trip, so \(d\) is a variable.

Step 2: The fare \(F\) depends on the distance, so \(F\) is also a variable.

Step 3: The number \(50\) is a fixed starting charge, so it is a constant.

Step 4: The number \(12\) is the fixed cost per unit distance, so it is also a constant in this model.

Answer:

• Variables: \(F\), \(d\)
• Constants: \(50\), \(12\)

If a company changes its pricing rule, then numbers like \(50\) and \(12\) could be treated as parameters in a more general model.

12. Common mistakes to avoid

• Thinking every letter is a variable: some letters are parameters or fixed values.
• Ignoring context: the same symbol may be a variable in one problem and fixed in another.
• Confusing constants and parameters: a parameter is fixed within one case, but can change between cases.
• Missing output variables: in an equation like \(y=3x+1\), both \(x\) and \(y\) are variables.

13. Quick test for identifying each one

When you see a formula, ask these questions:

1. What quantity is allowed to change as the problem runs? That is usually a variable.
2. What numerical value stays fixed? That is a constant.
3. What value sets the form of the equation or model? That is a parameter.

For example, in

• \(x\) and \(y\) vary,
• \(a\) and \(b\) shape the line, so they are parameters.

14. Why this matters in higher mathematics

As mathematics becomes more advanced, formulas often describe entire families of functions or models. Parameters help us talk about all of them at once, while variables describe what changes inside each one.

This distinction is especially useful in algebra, calculus, statistics, and mathematical modeling. If you know which symbols are variables, constants, and parameters, you can read formulas more accurately and solve problems with fewer mistakes.

Summary

A variable is a quantity that can change. A constant is a fixed value that stays the same. A parameter is fixed within one situation but can be changed to create a different equation or model.

In a formula, always pay attention to context. Ask what is changing, what stays fixed, and what defines the structure of the model. Once you can make these distinctions, you will understand equations and functions much more clearly.

Dimensional Analysis and Units is a powerful tool in mathematics, science, and engineering. It helps us convert units correctly and check whether an equation or model makes sense. Even when a formula looks complicated, units can reveal whether it is valid.

In Grade 12, dimensional analysis is especially useful because it connects algebra, measurement, and logical reasoning. It trains you to treat units carefully instead of as afterthoughts. If the units do not work, the model is usually wrong.

This lesson will teach you how to:

• understand the difference between quantities, units, and dimensions,
• convert compound units systematically,
• use dimensional homogeneity to test equations,
• recognize common mistakes when working with units.

1. Quantities, units, and dimensions

A quantity is something that can be measured, such as length, time, mass, speed, force, or area.

A unit tells us the standard used to measure that quantity. For example:

• length: metre \\(m\\), centimetre \\(cm\\), kilometre \\(km\\)
• time: second \\(s\\), minute, hour
• mass: kilogram \\(kg\\), gram \\(g\\)

A dimension describes the type of physical quantity, independent of the unit used. Common basic dimensions are:

• length: \\(L\\)
• mass: \\(M\\)
• time: \\(T\\)

For example, speed can be measured in \\(m/s\\) or \\(km/h\\), but its dimension is always

Here, the square brackets mean “the dimension of.”

2. Common derived quantities

Many quantities are built from basic ones. These are called derived quantities. Their units and dimensions come from multiplication or division of simpler quantities.

• Area = length \\(\times\\) length

• Volume = length \\(\times\\) length \\(\times\\) length

• Speed = distance \\(\div\\) time

• Acceleration = change in speed \\(\div\\) time

• Density = mass \\(\div\\) volume

Notice that exponents on dimensions behave like exponents in algebra.

3. Rules for working with units and dimensions

You can treat units almost like algebraic symbols, as long as you are careful.

• When quantities are multiplied, their units multiply.
• When quantities are divided, their units divide.
• When quantities are added or subtracted, they must have the same units and the same dimensions.

For example:

• \\(3 \, m + 40 \, cm\\) is possible only after converting to the same unit.
• \\(5 \, m + 2 \, s\\) is not meaningful because length and time are different dimensions.

This idea leads to an important principle called dimensional homogeneity.

4. Dimensional homogeneity

An equation is dimensionally homogeneous if every term has the same dimensions. In a valid physical formula, both sides of the equation must have the same dimensions.

For example, in

the left side, \\(s\\), is distance, so its dimension is \\(L\\).

The right side is speed \\(\times\\) time:

So the equation is dimensionally correct.

Now consider

The dimensions on the right are not compatible, because speed has dimension \\(LT^{-1}\\) and time has dimension \\(T\\). These cannot be added. So the equation is not dimensionally valid.

5. Why dimensional analysis matters

Dimensional analysis helps in two major ways:

• Unit conversion: changing from one unit system to another without losing meaning.
• Checking formulas: testing whether an equation could be correct before substituting numbers.

It does not prove that an equation is completely correct. A formula can have correct dimensions and still be wrong for other reasons. But if the dimensions are wrong, the formula is definitely wrong.

6. Systematic unit conversion

The safest method is the conversion factor method. A conversion factor is a fraction equal to 1, such as

You multiply by conversion factors so that unwanted units cancel.

Important idea: always choose the conversion factor so the old unit cancels and the desired unit remains.

Worked Example 1: Converting a simple speed unit

Convert \\(72\,km/h\\) to \\(m/s\\).

Step 1: Write the given unit.

Step 2: Convert kilometres to metres and hours to seconds.

Step 3: Cancel units and simplify.

Answer: \\(72\,km/h = 20\,m/s\\).

This is a very common conversion, and it shows how unit cancellation works clearly.

Worked Example 2: Converting a compound unit with powers

Convert \\(3.5\,g/cm^3\\) to \\(kg/m^3\\).

Step 1: Convert grams to kilograms.

Step 2: Convert cubic centimetres to cubic metres.

Since \\(1\,cm = 10^{-2}\,m\\), then

Step 3: Convert the whole quantity.

Answer: \\(3.5\,g/cm^3 = 3500\,kg/m^3\\).

Key lesson: when units are raised to a power, the conversion factor must also be raised to that power.

7. Checking equations using dimensions

Suppose you are given a formula and want to know if it could be valid. Replace each quantity with its dimension and simplify.

Worked Example 3: Testing a motion formula

Check whether the formula

is dimensionally correct, where:

• \\(s\\) = displacement
• \\(u\\) = initial speed
• \\(a\\) = acceleration
• \\(t\\) = time

Left side:

First term on the right:

Second term on the right:

The constant \\(\frac{1}{2}\\) has no units, so it does not affect dimensions.

Both terms on the right have dimension \\(L\\), so they can be added. The left and right sides also match.

Answer: the equation is dimensionally homogeneous.

Worked Example 4: Identifying an invalid model

A student suggests that the distance travelled by an object is given by

Check whether this is dimensionally valid.

Left side:

First term on the right:

Second term on the right:

The two terms on the right have different dimensions: \\(LT^{-1}\\) and \\(LT\\). That means they cannot be added.

Also, neither term has dimension \\(L\\), so the right side does not match the left side.

Answer: this model is not dimensionally correct.

8. Constants and units

Not every constant is dimensionless. Some constants have units, depending on the formula.

For example, in

if \\(d\\) is in kilometres and \\(t\\) is in hours, then the constant 60 has units of \\(km/h\\). It is not just an ordinary number.

But in a formula like

the constant \\(\pi\\) is dimensionless. It is a pure number.

So when checking dimensions, remember:

• pure numbers like \\(2\\), \\(\frac{1}{2}\\), and \\(\pi\\) do not change dimensions,
• some named constants may carry units.

9. A logical connection to mathematical foundations

Dimensional analysis is closely connected to logical reasoning. It uses a simple rule:

• If two expressions are equal, then they must represent the same kind of quantity.

This is similar to checking whether a statement follows the rules of logic. In unit analysis, the “rules” are the dimensions. If a step breaks those rules, the argument or model is flawed.

This is why dimensional analysis belongs naturally in mathematical foundations: it teaches precision, consistency, and structured reasoning.

10. Common mistakes to avoid

• Adding unlike units: for example, adding metres and seconds.
• Forgetting to convert squared or cubed units: for example, converting \\(cm^2\\) as if it were \\(cm\\).
• Converting only the numerator or denominator: compound units need complete conversion.
• Dropping units during calculation: units should stay with the numbers until the end.
• Assuming dimensional correctness guarantees truth: it only shows the formula is possible, not definitely correct.

11. A step-by-step strategy

When solving problems involving units, use this method:

1. Write the given quantity clearly with its units.
2. Identify the target unit.
3. Use conversion factors equal to 1.
4. Arrange them so unwanted units cancel.
5. Simplify the numerical part carefully.
6. Check that the final unit is the one required.

When checking a formula, use this method:

1. Replace each variable by its dimension.
2. Simplify each term separately.
3. Make sure terms being added or subtracted have the same dimensions.
4. Compare both sides of the equation.

12. Quick practice ideas

To strengthen your understanding, try checking these on your own:

• Convert \\(90\,km/h\\) to \\(m/s\\).
• Convert \\(2\,m^2\\) to \\(cm^2\\).
• Test whether \\(v = at\\) is dimensionally correct.
• Test whether \\(E = mv\\) could represent energy if energy has dimension \\(ML^2T^{-2}\\).

Brief Summary

Dimensional analysis is the study of how units and dimensions behave in calculations and formulas. It helps you convert units correctly and test whether equations are logically consistent. A valid physical equation must be dimensionally homogeneous, meaning all terms have matching dimensions. By using conversion factors carefully and checking dimensions term by term, you can avoid many common errors in mathematics and applied problems.