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