Foundations of Deductive Logic and Proof Unit Bundle | Printable Worksheets (preview: 3 of 19 pages)

How to print

On a computer

Press Print above, or Ctrl+P (Cmd+P on a Mac).
Pick A4 or US Letter in the bar above, to match the paper in your printer. The pages resize themselves, so leave Scale at 100% or Default.
Margins: None. The pages already have their own.
Turn off Headers and footers, or the date and web address print on every page.
Keep Background graphics on, so the colours and boxes print. Chrome and Edge: under More settings. Safari: Show details. Firefox: Print backgrounds.

To keep a PDF

Press Print.
Destination or Printer: choose Save as PDF.
Use the same paper, margin and header settings as above, then Save.

The file keeps the exact pages, and you can print from it as often as your licence allows.

On a phone or tablet

iPhone and iPad: tap Share, then Print. To keep a PDF, use the share button at the top of the print screen and choose Save to Files.
Android: in Chrome tap the menu, then Share, then Print, and pick your printer or Save as PDF.

Printing from a computer gives the most control over paper size and margins.

Foundations of Deductive Logic and Proof

High School Geometry & Formal Logic Unit Guide

PREVIEW · mylessonkit.com

mylessonkit.com/store/axiom-geometry-studio

preview · mylessonkit.com/store/axiom-geometry-studio

Lesson 1: Conditionals & Variations

Teacher Instructional Framework

Objective

Students will identify the hypothesis and conclusion of conditional statements and construct converse, inverse, contrapositive, and biconditional statements with truth-value analysis.

Materials

Guided notes student sheets, logical notation reference strips, highlighter sets for hypothesis and conclusion identification, and formal proof binders.

Warm-up

Display three everyday conditional sentences on the board. Direct students to isolate the underlying condition from the resulting guarantee using conditional framing.

Main activity

Deconstruct 'If p, then q' structure. Guide students through negating clauses to formulate related conditionals, emphasizing that a conditional and its contrapositive are logically equivalent.

Assessment

Formative evaluation through the Lesson 1 Practice problem set followed by the mixed-format four-question conditional logic check.

PREVIEW · mylessonkit.com

mylessonkit.com/store/axiom-geometry-studio

preview · mylessonkit.com/store/axiom-geometry-studio

NAME: DATE:

Lesson 1 Guided Notes: Conditional Logic

Logical Structure and Truth Values

A conditional statement is a logical statement written in the directional form 'If p, then q', where p represents the hypothesis and q represents the conclusion. Symbolic logic denotes this relationship as p implies q. The truth value of a conditional is false only when the hypothesis is true yet the conclusion is demonstrably false. From any fundamental conditional statement, mathematicians derive three related variations. The converse exchanges the order, producing 'If q, then p'. The inverse negates both components without changing sequence, resulting in 'If not p, then not q'. The contrapositive applies both operations simultaneously, stating 'If not q, then not p'. A foundational theorem of deductive logic dictates that a conditional statement and its contrapositive are logically equivalent, meaning they always share identical truth values. Conversely, the converse and inverse are logically equivalent to one another. When a conditional and its converse are both verified to be true, they fuse into a biconditional statement joined by 'if and only if'.

Hypothesis

Contrapositive

Logical Equivalence

Biconditional

Explain why a statement and its contrapositive always maintain identical truth values.

PREVIEW · mylessonkit.com

mylessonkit.com/store/axiom-geometry-studio

preview · mylessonkit.com/store/axiom-geometry-studio