McIntyre MathsLearning intentionTo learn and use the key terms and notation of proof, so we can read and write proofs precisely.
Success criteria · I can…
- explain statement, negation, implication, converse, equivalence and contrapositive
- use the notation ¬, ∧, ∨, ⇒, ⇔, ∀, ∃
- negate “and”, “or”, “if…then” and quantified statements
- disprove a claim with a counterexample
ResourcesCambridge 2A worked solutions
Howard 1000 Questions 1.1
Wootube · Proof
Atomi
Howard 1000 Questions 1.1
Wootube · Proof
Atomi
Lesson flow
LaunchIntentions and key termsSlides 1–2
DefinitionsStatements to contrapositiveSlides 3–16
ExamplesFive worked examplesCompleted live in OneNote
Your turnSufficient and necessarySlide 19
Exit ticketDivisible by 6, evenSlide 20
Example 2 · Negating compound statements
Write the negation of each statement.
(a) x > 2 and x is even
(b) If n is even, then n2 is even
(c) Simplify ¬(P ∨ ¬Q)
Downloads
Lesson slidesPowerPoint · 20 slides · paste into OneNote
.pptx · coming soonPractice worksheetA4 · gridded working space
PDF · coming soonWorked solutionsReleased after the lesson
PDF · coming soonHomework
Cambridge 2A Q1–15, at least every second question
Check against the worked solutions before next lesson.HSC-style challenge
For n ∈ ℤ, write the negation of “n is divisible by 6 ⇒ n is even”. Is it true?