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