This is an example of coercive logic, invented by the great logician  and puzzle creator Raymond Smullyan.
Това е пример за коерсивна логика, изобретена от великия логик и съставител на загадки Реймънд Смълян.