Math inference_rule

This table of contents references the key mathematical inference_rules used by punctilious.

Table of contents

• absorption
• axiom-interpretation
• biconditional-elimination-1
• biconditional-elimination-2
• biconditional-introduction
• conjunction-elimination-1
• conjunction-elimination-2
• conjunction-introduction
• constructive-dilemma
• definition-interpretation
• destructive-dilemma
• disjunction-introduction-1
• disjunction-introduction-2
• disjunctive-resolution
• disjunctive-syllogism-1
• disjunctive-syllogism-2
• double-negation-elimination
• double-negation-introduction
• equal-terms-substitution
• equality-commutativity
• hypothetical-syllogism
• inconsistency-introduction-1
• inconsistency-introduction-2
• inconsistency-introduction-3
• modus-ponens
• modus-tollens
• proof-by-contradiction-1
• proof-by-contradiction-2
• proof-by-refutation-1
• proof-by-refutation-2
• variable-substitution