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

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