ник: silich
если P(пить) имеет место до выполнения C(сколько), то либо имеет место Q*, либо C(сколько) никогда не завершится. Действительно, если C(сколько) не завершается, никакого «после» нет, поэтому Q* может быть любым утверждением. Более того, мы можем выбрать Q* со значением «ложь», чтобы показать, что C(сколько) никогда не завершится
* где, Q - это бокал с алкоголем и трубочкой (вид сверху)