---
tags: []
---

# 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).

![](/img/cond-elim.png)
