This is an example of coercive logic, invented by the great logician  and puzzle creator Raymond Smullyan.
Это пример принуждающей логики; данный термин ввёл великий логик и создатель головоломок Рэймонд Смаллиан.