---
categories:
  - Logic
tags: [derivation-rules]
---

If two conjuncts have each been independently derived then they can be conjoined. Also known more simply as _Conjunction_

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