eolas/Logic/Conjunction_Elimination.md
thomasabishop 78024ac846 Reindexing
2022-09-06 13:27:08 +01:00

9 lines
255 B
Markdown

---
categories:
- Mathematics
tags: [logic]
---
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_.
![conjunc-elim.png](../img/conjunc-elim.png)