This is an example of coercive logic, invented by the great logician  and puzzle creator Raymond Smullyan.
Questo è un esempio di logica coercitiva, inventato dal grande logico e creatore di rompicapi Raymond Smullyan.