This is an example of coercive logic, invented by the great logician  and puzzle creator Raymond Smullyan.
C'est un exemple de logique coercitive, inventée par le grand logicien et créateur d'énigmes Raymond Smullyan.