eolas/neuron/4cb21421-93ca-410e-845e-22eb2c92aa5a/Conjunction_Elimination.md

13 lines
264 B
Markdown
Raw Normal View History

2024-12-09 18:34:15 +00:00
---
tags:
- propositional-logic
- logic
---
# Conditional Elimination
If a conjunction exists, it means that both conjuncts are the case; therefore we
can legitimately extract either one of them. Also known as _Simplification_.
![](static/conjunc-elim.png)