There is a game, called WFF’N PROOF which I first learned over 30 years ago. It is a fun game that teaches logical proof. I have used in many classes over the years.
https://www.oercommons.org/authoring/1364-basic-wff-n-proof-a-teaching-guide/view
This wonderful site about Lewis Carroll is delightful. “The Logic of Lewis Carroll.”
http://hom.wikidot.com/the-logic-diagrams-of-lewis-carroll