There is a little fun game we play while going to school in the car.
I give challenges to my kids (especially Soha) that force them to use Modus Ponens or Modus Tollens to give me inference from the made statements, and they have to tell me which one was it Ponens or Tollens.
A : All dogs have four legs
B : "Chipkins" is a dog
C : Soha has two legs
Therefor what? Modus Ponens gives: Chipkins has four legs; Modus Tollens gives: Soha is not a dog
And the things get sophisticated quickly with me adding false statements to trick them into thinking inference is valid which is actually not possible.
Like All dogs have four legs and Tripsey has four legs. (we still can't be sure tripsey is a dog)
Soha has been trying to create tricky things to fool me as well for long, all a bit unsuccessful until today she completely TRUMPed me
After exhausting all CATS and DOGS with different number of legs her question left me silent for a while
"Baba tell me if All CATS have four legs, and Kitty is a Cat _and_ Kitty has three legs ,,,, How will you make her feel better ?" :-O :-O :-O