Introductory TFL Proofs

A student requested extra introductory, practice problems for natural deduction proofs in truth-functional logic (TFL). Here are two sets of proofs you can work on. They start out very basic and work up to the level of the homework problems. They develop more or less sequentially, adding variations to try to lead you through the options you have.

As of the day I am posting this (2023-11-06), I have proofread the problems once, but if you suspect there is an issue, please ask! (It’s always possible I made a mistake.)

PDF here: Introductory Practice Natural Deduction Proofs