Изменения

Рассмотрим булевы формулы с <tex>i</tex> предваряющими кванторами. Будем рассматривать каждую формулу как игру двух игроков (<tex>\exists</tex> и <tex>\forall</tex>) <tex>i</tex>-го порядка. Игра выигрышная для первого игрока (<tex>\exists</tex>), если он начинает игру и предикат <tex>R</tex> выдает истину или если игру начинает второй игрок и предикат выдает ложь. В противном случае игра выигрышная для второго игрока (<tex>\forall</tex>).