Pure mathematics
article-link
What links here
Metalogic
Material implication (rule of inference)
article-link
Metamathematics
article-link
Hypothetical syllogism
article-link
Function symbol
article-link
Distributive property
article-link
Disjunctive normal form
article-link
History of logic
article-link
Willard Van Orman Quine
article-link
Soundness
article-link
Modus tollens
article-link
Modus ponens
article-link
Logic programming
article-link
If and only if
article-link
Group action
article-link
First-order logic
article-link
Edmund Husserl
article-link
Disjunction elimination
article-link
Disjunction introduction
article-link
Disjunctive syllogism
article-link
Conjunction introduction
article-link
Biconditional elimination
article-link
Biconditional introduction
article-link
Associative property
article-link