If you like playing with First Order Logic, I cannot recommend enough this playground site: https://incredible.pm/ https://incredible.pm/ You can even introdu

If you like playing with First Order Logic, I cannot recommend enough this playground site: https://incredible.pm/ https://incredible.pm/ You can even introduce your 10 year old to FOL with it