Ultimate Guide to The Nature of Proof: Logic and Language

Introduction

Mathematics is not just about calculating answers; it is about establishing absolute truth. In HSC Mathematics Extension 2, the Nature of Proof topic transitions you from a "calculator" to a "mathematician". Before we can prove complex theorems, we must learn the formal language of logic. This guide covers the foundational vocabulary and notation used to construct rigorous mathematical arguments.

Executive Summary

This guide introduces the core building blocks of mathematical logic:

Statements and Propositions: Defining sentences that are strictly true or false.
Notation: Using $P$ and $Q$ to represent statements mathematically.
Implications: Understanding "if-then" statements and the notation $P \Rightarrow Q$ .
Quantifiers: Using "For all" ( $\forall$ ) and "There exists" ( $\exists$ ) to formulate precise statements.

What is this about?

When writing a mathematical proof, everyday English is often too ambiguous. A sentence like "It is raining" might be true here, but false somewhere else. Formal logic eliminates this ambiguity. We use specific terms (like proposition and implication) and symbols (like $\Rightarrow, \forall, \exists$ ) to create statements that have a definitive, unarguable truth value. Learning this language is the first step toward mastering mathematical proof.

Main Content

1. Statements and Propositions

In logic, a statement or proposition is a declarative sentence that is either true or false, but not both.

Examples of valid propositions:

"The number 4 is an even integer." (True)
"Sydney is the capital of Australia." (False)
"The sum of the interior angles of a triangle is $180^\circ$ ." (True)

Examples of invalid propositions (not statements):

"Is 5 a prime number?" (This is a question, not a declarative sentence).
"This sentence is false." (This is a paradox; it cannot be assigned a true or false value).
" $x > 5$ " (This is an open sentence. Its truth depends on the value of $x$ , so it is not a proposition until $x$ is defined).

2. Notation: $P$ and $Q$

To manipulate logic algebraically, we assign capital letters (usually $P, Q, R$ ) to represent statements. For example: Let $P$ represent the statement "It is raining." Let $Q$ represent the statement "The ground is wet."

3. Implications ( $P \Rightarrow Q$ )

An implication is an "if-then" statement connecting two propositions. If $P$ is true, then $Q$ must be true.

We write this as: $P \Rightarrow Q$ This is read as " $P$ implies $Q$ " or "If $P$ , then $Q$ ".

Using our earlier example: "If it is raining, then the ground is wet." ( $P \Rightarrow Q$ ).

Crucial Logic Rule: An implication only claims what happens if $P$ is true. If $P$ is false (it is not raining), the implication tells us nothing about $Q$ (the ground might still be wet because someone turned on a sprinkler).

4. Quantifiers: For All ( $\forall$ ) and There Exists ( $\exists$ )

Mathematical statements often apply to groups of numbers. To describe these groups precisely, we use quantifiers.

The Universal Quantifier: "For all" ( $\forall$ ) This symbol means the statement is true for every single element in a set. Example: $\forall x \in \mathbb{R}, x^2 \ge 0$ (Read as: "For all $x$ in the set of real numbers, $x$ squared is greater than or equal to zero.")

The Existential Quantifier: "There exists" ( $\exists$ ) This symbol means the statement is true for at least one element in a set. Example: $\exists x \in \mathbb{R}, x^2 - 4 = 0$ (Read as: "There exists an $x$ in the set of real numbers such that $x^2 - 4 = 0$ .")

Simple Worked Example

Question: Translate the following English sentence into formal mathematical notation using quantifiers and implications: "If a real number $x$ is greater than 2, then its square is greater than 4."

Solution: Step 1: Identify the propositions. Let $P$ be " $x > 2$ ". Let $Q$ be " $x^2 > 4$ ".

Step 2: Identify the implication. The sentence is an "If $P$ then $Q$ " statement, so we use $P \Rightarrow Q$ . $x > 2 \Rightarrow x^2 > 4$

Step 3: Add the quantifier. The statement claims this is true for a real number $x$ . While it doesn't explicitly say "all", it is implied that any real number greater than 2 satisfies this condition. Therefore, we use the universal quantifier ( $\forall$ ).

Final Answer: $\forall x \in \mathbb{R}, (x > 2 \Rightarrow x^2 > 4)$

mini-FAQ page

Q: Do I have to use the symbols $\forall$ and $\exists$ in the exam? A: You are expected to understand them if they appear in a question, but you can usually write your own proofs using the English words "for all" and "there exists". However, the symbols are much faster to write!

Q: Can a false statement imply a true statement? A: Yes! In formal logic, if $P$ is false, the implication $P \Rightarrow Q$ is considered vacuously true, regardless of whether $Q$ is true or false. (e.g., "If pigs can fly, then $2+2=4$ " is a true implication in strict logic).

Common mistakes to avoid

Confusing $\forall$ and $\exists$ : Writing $\forall x, x^2 = 4$ is false (it claims every number squared is 4). You must use $\exists x, x^2 = 4$ (there exists a number squared that is 4).
Assuming $P \Rightarrow Q$ means $Q \Rightarrow P$ : If it rains, the ground is wet. But if the ground is wet, it does not mean it rained! We will explore this further in the next guide on Converses.

Practice on Vu's Maths Hub

Mastering logic notation is like learning a new alphabet.

Practice translating English statements into logic symbols in the HSC Proof Booklet.
Test your understanding of true/false propositions with interactive quizzes at Vu's Maths Hub.

Connect with me

Want to master Mathematical Proof and guarantee top marks in HSC Mathematics Extension 2? Visit Vu's Maths Hub for in-depth booklets, rigorous worked solutions, and expert advice to help you ace your exams!