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