eolas/Logic/Proofs/Conjunction_Introduction.md
2022-12-29 20:22:34 +00:00

9 lines
208 B
Markdown

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