Изменения

Перейти к: навигация, поиск

Исчисление предикатов

2 байта убрано, 17:40, 15 ноября 2016
м
Интерпретация булевых формул с кванторами как игр для двух игроков
===Интерпретация булевых формул с кванторами как игр для двух игроков===
'''Примечание:''' данного материала не будет на экзамене. Это перенесенный конспект из "[[Теория формальных языков|Теории формальных языков]]".
Во многих теоремах присутствуют утверждения с кванторами «для всех» и «существует». От того, в каком порядке кванторы входят в утверждение, зависит его смысл. Часто оказывается полезным представлять утверждения с кванторами как «игру», в которой участвуют два игрока — «для всех» и «существует». Есть утверждение <tex>\exists x_1 \forall x_2 \exists x_3 \dots Q x_n \Psi(x_1,\dots ,x_n)</tex>. Игроки поочередно выбирают значения параметров. Каждый игрок выбирает значение в зависимости от предыдущих ходов. Цель игрока «существует» делать такие ходы, чтобы утверждение <tex>\exists x_1 \forall x_2 \exists x_3 \dots Q x_n \Psi(x_1,\dots ,x_n)</tex> получилось истинным. А цель игрока «для всех» делать такие ходы, чтобы итоговое выражение получилась ложным.

Навигация