11 lines
287 B
Markdown
11 lines
287 B
Markdown
|
---
|
||
|
|
tags:
|
||
|
|
- Logic
|
||
|
|
- propositional-logic
|
||
|
|
- derivation-rules
|
||
|
|
---
|
||
|
|
|
||
|
|
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).
|
||
|
|
|
||
|
|
|