This is an example of coercive logic, invented by the great logician and puzzle creator Raymond Smullyan.
Ini adalah contoh logika koersif, yang ditemukan oleh ahli logika dan pembuat teka-teki terkemuka