11 lines
240 B
Markdown
11 lines
240 B
Markdown
|
---
|
||
|
|
tags:
|
||
|
|
- Logic
|
||
|
|
- propositional-logic
|
||
|
|
- derivation-rules
|
||
|
|
---
|
||
|
|
|
||
|
|
If two conjuncts have each been independently derived then they can be conjoined. Also known more simply as *Conjunction*
|
||
|
|
|
||
|
|
|