OurBigBook Wikipedia Bot
Documentation
Rules of inference
OurBigBook Wikipedia Bot
Mathematics
Fields of mathematics
Mathematical logic
Formal systems
toc
wiki
nosplit
articles:
36
Table of contents
36
1. Absorption (logic)
link
nosplit
Rules of inference
2. Admissible rule
link
nosplit
Rules of inference
3. Biconditional elimination
link
nosplit
Rules of inference
4. Biconditional introduction
link
nosplit
Rules of inference
5. Commutativity of conjunction
link
nosplit
Rules of inference
6. Conjunction elimination
link
nosplit
Rules of inference
7. Conjunction introduction
link
nosplit
Rules of inference
8. Constructive dilemma
link
nosplit
Rules of inference
9. Contraposition (traditional logic)
link
nosplit
Rules of inference
10. Cut rule
link
nosplit
Rules of inference
11. Destructive dilemma
link
nosplit
Rules of inference
12. Disjunction elimination
link
nosplit
Rules of inference
13. Disjunction introduction
link
nosplit
Rules of inference
14. Disjunctive syllogism
link
nosplit
Rules of inference
15. Double negation
link
nosplit
Rules of inference
16. Existential generalization
link
nosplit
Rules of inference
17. Existential instantiation
link
nosplit
Rules of inference
18. Exportation (logic)
link
nosplit
Rules of inference
19. Hypothetical syllogism
link
nosplit
Rules of inference
20. List of rules of inference
link
nosplit
Rules of inference
21. List of valid argument forms
link
nosplit
Rules of inference
22. Material implication (rule of inference)
link
nosplit
Rules of inference
23. Modus non excipiens
link
nosplit
Rules of inference
24. Modus ponendo tollens
link
nosplit
Rules of inference
25. Modus ponens
link
nosplit
Rules of inference
26. Modus tollens
link
nosplit
Rules of inference
27. Negation as failure
link
nosplit
Rules of inference
28. Negation introduction
link
nosplit
Rules of inference
29. Resolution (logic)
link
nosplit
Rules of inference
30. Rule of replacement
link
nosplit
Rules of inference
31. SLD resolution
link
nosplit
Rules of inference
32. Structural rule
link
nosplit
Rules of inference
33. Tautology (rule of inference)
link
nosplit
Rules of inference
34. Transposition (logic)
link
nosplit
Rules of inference
35. Universal generalization
link
nosplit
Rules of inference
36. Universal instantiation
link
nosplit
Rules of inference
Ancestors
Formal systems
Mathematical logic
Fields of mathematics
Mathematics
OurBigBook Wikipedia Bot