Animations for some of the Rules of Proof

You may find these flash animations somewhat helpful if you are still grappling with the rules of proof. (To view them you may need to install a recent version of the Macromedia Flash Player Plugin.)

Primitive Rules of Proof

• Arrow Elimination
• Ampersand Elimination
• Ampersand Introduction
• Wedge Elimination
• Wedge Introduction
• Double Arrow Elimination
• Double Arrow Introduction
• Arrow Introduction
• Reductio Ad Absurdum

Derived Rules

(Those links which are in bold are the four derived rules which I suggested you pay particular attention to.)

• DN (Double Negation)
• MTT (Modus Tollendo Tollens)
• DM (DeMorgan's Law)
• v-> (Wedge Arrow)
• Neg-> (Negated Arrow)
• HS (Hypothetical Syllogism)
• FA (False Antecedent)
• TC (True Consequent)
• IA (Impossible Antecedent)
• BP (Biconditional Ponens)
• BT (Biconditional Tollens)
• BiTrans (BiTransposition)
• SimDil (Simple Dilemma)
• ComDil (Complex Dilemma)