13 lines
230 B
Markdown
13 lines
230 B
Markdown
|
---
|
||
|
|
tags:
|
||
|
|
- propositional-logic
|
||
|
|
- logic
|
||
|
|
---
|
||
|
|
|
||
|
|
# Conjunction Introduction
|
||
|
|
|
||
|
|
If two conjuncts have each been independently derived then they can be
|
||
|
|
conjoined. Also known more simply as _Conjunction_
|
||
|
|
|
||
|
|
|