Дзен-коан "Топор Ганто" в исчислении высказываний:
"Если скажете хоть слово — отрублю головы.
Если НЕ скажете — тоже отрублю."
P = "скажете слово"
Q = "отрублю головы"
Угроза: <
Вывод на 24 строчки...
🌀 Результат: Q неизбежно. Головы будут отрублены.