This is an example of coercive logic, invented by the great logician  and puzzle creator Raymond Smullyan.
این نمونه‌ای از منطق اجباری است، که توسط دانشمند بزرگ منطق و سازنده معما ریموند اسمولیان اختراع شده است.