Finitary
article-link
What links here
Rule of inference
Formal system
article-link
Inductive reasoning
article-link
Metalogic
article-link
List of rules of inference
article-link
Inference
article-link
Sequent calculus
article-link
Sequent
article-link
Rule
article-link
Explanation
article-link
Gödel numbering
article-link
Burrows–Abadi–Needham logic
article-link
Proof theory
article-link
Hypothetical syllogism
article-link
Rete algorithm
article-link
Formal methods
article-link
What the Tortoise Said to Achilles
article-link
Existential quantification
article-link
Equality (mathematics)
article-link
Mathematical proof
article-link
Universal quantification
article-link
De Morgan's laws
article-link
Deductive reasoning
article-link
Philosophy of mathematics
article-link
Begging the question
article-link
Type theory
article-link
Chrysippus
article-link
Theorem
article-link
Philosophical methodology
article-link
Modus tollens
article-link
Modus ponens
article-link
Propositional logic
article-link
First-order logic
article-link
Formal language
article-link
Epistemology
article-link
Disjunction elimination
article-link
Disjunction introduction
article-link
Discrete mathematics
article-link
Disjunctive syllogism
article-link
Conjunction introduction
article-link
Biconditional elimination
article-link
Biconditional introduction
article-link
Abstraction
article-link
Inference rule
redirect
Laws of Logic
redirect