WIKI

Inference Rules

https://en.wikipedia.org/wiki/Premise https://en.wikipedia.org/wiki/First-order_logic https://en.wikipedia.org/wiki/Higher-order_logic https://en.wikipedia.org/wiki/Zeroth-order_logic https://en.wikipedia.org/wiki/Propositional_calculus https://en.wikipedia.org/wiki/Syllogism https://en.wikipedia.org/wiki/Law_of_thought

https://en.wikipedia.org/wiki/Affirming_a_disjunct https://en.wikipedia.org/wiki/Disjunction_elimination https://en.wikipedia.org/wiki/Disjunctive_syllogism https://en.wikipedia.org/wiki/Hypothetical_syllogism https://en.wikipedia.org/wiki/Modus_ponendo_tollens https://en.wikipedia.org/wiki/Modus_ponens https://en.wikipedia.org/wiki/Reductio_ad_absurdum

List of inference rules

Rule of inference https://en.wikipedia.org/wiki/Rule_of_inference

Propositional calculus Predicate logic

List of inference rules of Propositional logic

Implication Implication introduction elimination (modus ponens)

Biconditional Biconditional introduction elimination

Conjunction Conjunction introduction elimination

Disjunction Disjunction introduction elimination Disjunctive hypothetical syllogism Constructive destructive dilemma

[Absorption](https://en.wikipedia.org/wiki/Absorption_(logic)) modus tollens modus ponendo tollens

Rules of replacement Associativity Commutativity Distributivity Double negation De Morgan's laws [Transposition](https://en.wikipedia.org/wiki/Transposition_(logic)) [Material implication](https://en.wikipedia.org/wiki/Material_implication_(rule_of_inference)) [Exportation](https://en.wikipedia.org/wiki/Exportation_(logic)) [Tautology](https://en.wikipedia.org/wiki/Tautology_(rule_of_inference)) Negation introduction

List of inference rules of Predicate logic

Universal generalization instantiation Existential generalization instantiation