editor
177
правок
Изменения
Переформулировка теоремы. Теперь она, кажется, нормальная
{{Теорема
|statement=
Дано выражение: <tex>\Psi(x_1,\dots ,x_n) = \exists Q_1 x_1 \forall Q_2 x_2 \exists x_3 \dots Q Q_n x_n</tex> , где <tex>\{Q_i\}_{---i=1}^{n} выражение</tex> является чередующейся последовательностью кванторов <tex>\forall</tex> и <tex>\exists</tex>.
# Если выражение <tex>\Psi</tex> истинно, то у игрока «существует» есть набор ходов, используя который, он может победить.
# Если же выражение <tex>\Psi</tex> ложно, то у игрока «для всех» есть набор ходов, используя который, он может победить.
