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