Semantic Tableau Practice Sheet

I was searching for some practice sheets for semantic tableaux having the same format that Kumon uses for math but didn’t find anything. I figured it wouldn’t be too difficult (just a little time consuming at first) to make my own and so I’ve created my first sheet, starting with conjunction in classical logic and using the “syntax” that Beall and Logan use in Logic: The Basics, 2nd ed.

Will hopefully update this over time and end up with a mini-Kumon like set of practice sheets.

(Medium apparently doesn’t support uploading PDFs so I’ve just converted it to an image file which can then be converted to a PDF.)