Материал из Викиконспекты
|
|
| (не показано 15 промежуточных версий 4 участников) |
| Строка 1: |
Строка 1: |
| − | '''Интерпретация булевых формул с кванторами как игр для двух игроков'''
| + | #перенаправление [[Исчисление предикатов#Интерпретация булевых формул с кванторами как игр для двух игроков]] |
| − | | |
| − | Рассмотрим формулу <tex>\exists x_1 \forall x_2 \exists x_3 \dots Q x_n = \Psi(x_1,\dots ,x_n)</tex>, где <tex>Q</tex> - квантор зависящий от чётности <tex>n</tex>. Теперь возьмём двух игроков и первый будет ставить <tex>x</tex> с нечётными номерами, а второй с чётными. Если в итоге получается истина, то побеждает первый игрок, если получается ложь, то выигрывает второй. Если <tex>\Psi</tex> истинна, то побеждает первый игрок, в противном случае побеждает второй (при правильных ходах). Пусть <tex>\Psi</tex> истинно, тогда отделим первый квантор. <tex>\exists x_1\Phi(x1)</tex>, тогда по предположению есть такой <tex>x_1</tex>, что <tex>\Phi(x_1)</tex> будет истинно. Верно и для любого с предположением для лжи. В итоге получаем, верное утверждение.
| |
Текущая версия на 16:06, 15 ноября 2016
