eolas/neuron/4ea828ea-ea63-4ab0-9a8a-7a45236e138e/Conditional_Elimination.md
2024-12-13 17:06:15 +00:00

13 lines
280 B
Markdown

---
tags:
- propositional-logic
- logic
---
# Conditional elimination
If we have a conditional and we have independently derived its antecedent, we
may invoke its consequent. This is often referred to as _Modus ponens_
(affirming the antecedent).
![](static/cond-elim.png)