Roytech

Proof Lab

Learn how logical proofs work by building them one step at a time. You’re given a few starting statements (premises) and a goal. Your job is to add steps that follow from the rules of logic until you reach the goal.

Privacy Explore simulations Simple mode

Exercise

Start with the premises. Each new line should be justified by a rule.

Premises

    Goal

    Rules

    • Premise
    • Modus Ponens (MP)
    • Modus Tollens (MT)
    • Conjunction (AND)
    • Simplification (SIMP)
    • Disjunctive Syllogism (DS)
    • Hypothetical Syllogism (HS)
    • Double Negation (DN)

    Example step

    Add a step

    Type the statement you want to prove, choose the rule you used, and list the line numbers that support it.

    Subproof controls

    Add steps to begin.

    # Statement Rule Refs Status

    Checklist

    • Premises used
    • All steps valid
    • Goal reached