Enrich · Mathematics Extension 2 11–12 – Year 12 · The nature of proof
Enrich Negate statements including the negation of a negation ¬(¬P) = P, the negation of an implication ¬(P⇒Q) = (Pand ¬Q) = (P∧¬Q), the negation ¬(PandQ) = (¬Por¬Q), that is ¬(P∧Q) = (¬P∨¬Q), and the negation ¬(PorQ) = (¬Pand¬Q), that is ¬(P∨Q) = (¬P∧¬Q), noting that P⇒Q = ¬(Pand ¬Q) = (¬PorQ), that is P⇒Q = ¬(P∧¬Q) = (¬P∨Q)
Extension and enrichment for students who are ready to go deeper: rich tasks, problem solving and open-ended challenges.
Enrichment for this dot point
No enrichment tasks tagged to this exact dot point yet.