Category:Rules of inference
The concepts described in articles in this category may be also expressed in terms of arguments, or theorems. Very often the same concept is in more than one of these categories, expressed a different way and sometimes with a different name.
Pages in category "Rules of inference"
The following 42 pages are in this category, out of 42 total.
- Rule of inference (computing)
- List of rules of inference (computing)
- Universal generalization (computing)
- Hypothetical syllogism (computing)
- List of valid argument forms (computing)
- Universal instantiation (computing)