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