I was looking for a light project this morning and the problem in this tweet was perfect! All that we really needed to get going was an introduction to what the symbols meant. They got the hang of the symbols quickly and were able to understand one of the statements quickly:

Now I just had the boys pick logic statements and try to match them with the appropriate phrase. My younger son went first:

The statement in the next selection led to a short discussion about what “there exists” means.

We finished up with the last two open options – here the boys got a bit more understanding of why “empty train” was a description in some of the choices:

Definitely a neat exercise, and a fun way to get kids talking about logic!