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.
This wonderful site about Lewis Carroll is delightful. “The Logic of Lewis Carroll.”