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