eolas/neuron/fb8c4ad8-cb96-4762-a2c7-063d198533c0/Conditional_Elimination.md
2024-10-21 07:00:03 +01: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)