> I've seen from skimming the first few chapters, it uses 100% standard natural deduction proof trees. How would you present the proofs? You're totally right.

> I've seen from skimming the first few chapters, it uses 100% standard natural deduction proof trees. How would you present the proofs? You're totally right. I just really don't like proof trees, nor do I think they're clear when first starting out studying logic.