2024-10-19 11:00:03 +01:00
|
|
|
---
|
|
|
|
|
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).
|
|
|
|
|
|
2024-10-20 19:50:20 +01:00
|
|
|
|
