Правила для кванторов: произвольный грузчик и безымянный свидетель

Вельский · адвокат

Фома в ту ночь был дома, это подтвердила его жена. Фома обычный грузчик, ничем не выделяется. Если ваши правила позволяют доказывать «для любого», возьмите любого: возьмите Фому. Для него «был дома» доказано. Значит, для любого грузчика. Я прошу суд занести это в протокол.

Сомова не отвечает сразу. В прошлом уроке у нас были правила для «и», «или», «если, то» и «не». Для кванторов «для любого» и «существует» правил пока нет, а Вельский уже делает вид, что они у него в кармане.

Правил будет четыре: введение и удаление для $\forall$ и для $\exists$. Два из них совсем простые. Два других содержат условие на имена, и вся ловкость Вельского спрятана в нарушении этого условия.