---
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*

![conjunc-intro.png](../img/conjunc-intro.png)
