Rule of inference
systematic logical process capable of deriving a conclusion from hypotheses
resolution
contraposition
rule of replacement
negation introduction
hypothetical syllogism
contraposition
De Morgan's laws
cut rule
disjunctive syllogism
structural rule
absorption
Conjunction introduction
constructive dilemma
destructive dilemma
disjunction elimination
disjunction introduction
universal generalization
existential generalization
Exportation
material implication
Tautology
simplification