This is an example of coercive logic, invented by the great logician  and puzzle creator Raymond Smullyan.
Esse é um exemplo de lógica coercitiva, inventada pelo grande lógico e criador de enigmas Raymond Smullyan.