This is an example of coercive logic, invented by the great logician  and puzzle creator Raymond Smullyan.
To przykład logiki represyjnej, wymyślonej przez wielkiego logika i twórcę zagadek, Raymonda Smullyana.