12 lines
230 B
Markdown
12 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_
|
|
|
|
|