Types of inference rule
- en existential instantiation ➜
- en existential instantiation (n) ➜
- en modus ponendo ponens (n) ➜
- en modus ponendo tollens (n) ➜
- en modus ponens ➜
- en modus ponens (n) ➜
- en modus tollendo ponens (n) ➜
- en modus tollendo tollens (n) ➜
- en modus tollens ➜
- en modus tollens (n) ➜
Related terms
- en consensus theorem (n) ➜
- en existential instantiation (n) ➜
- en formal system (n) ➜
- en formal language ➜
- en preserving ➜
- en truth ➜
- en well formed formula ➜
- en natural deduction (n) ➜
- en proof system (n) ➜
- en sequent calculus (n) ➜
Context of this term
- en logic ➜
- en proof theory ➜
Word forms
- en inference rules (n) ➜
Links to other resources
- en.wiktionary.org inference rule