Propositional Logic·Guided Practice·Lesson 5 of 6

Building Short Formal Proofs

Introduces the basic inference rules of propositional proof (modus ponens, modus tollens, hypothetical syllogism, disjunctive syllogism, simplification, conjunction, and addition) and teaches students to build short formal proofs step by step.

← Truth Tables, Equivalence, and Validity Propositional Logic: Form, Connectives, and Valid Inference Capstone: Symbolizing, Proving, and Refuting Propositional Arguments →

Student Pro unlocks this

This lesson is part of the full curriculum.

Free accounts get the entire Foundations track plus the first lesson of every other unit. This lesson is in Propositional Logic: Form, Connectives, and Valid Inference — the rest of the unit is Student Pro.

Student Pro also unlocks unlimited detailed feedback, full spaced repetition, and personalized recommendations.

See pricing Sign in first Back to curriculum