--- categories: - Logic tags: [propositional-logic] --- 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)