This is an example of coercive logic, invented by the great logician  and puzzle creator Raymond Smullyan.
Esto es un ejemplo de lógica coercitiva, inventada por el experto en lógica y creador de acertijos, Raymond Smullyan.