Пример

Допустим, что мы записали исчерпывающий перечисление вопрос

47. Баранина, говядина, телятина или свинина сегодня в продаже?

с помощью л«-интеррогатива ? р (Б, Г, Т, С) с субъектом

48. (Б, Г, Т, С),

где интерпретация букв очевидна.

Тогда шах ((48), Б amp; Т) есть Г amp; С, шах ((48), Б) есть f amp; Т amp; С, a max ((48), Б amp; Г amp; Т amp; С) есть пустой символ.

Переходя теперь к /шкой-вопросам, предположим, что лексический субъект О есть (17) = (CiXl, . . ., Crxr, xr + i, , . xJ/Ахі . . . xn) и что выбор S, санкционированный этим субъектом, есть

49. Ааи ... ain amp; ... amp; AaPl ... аРп.

Напомним, что требования полноты для ктой-вопросов должны быть истолкованы в терминах реальных альтернатив, поэтому мы хотим, чтобы согласно шах (a, S) каждая из реальных альтернатив, предоставленная лексическим какой-субъектом (17) и являющаяся истинной, была обозначена по отношению к (17) некоторым элементом из выбора (49). Для того чтобы иметь возможность распознавать намерение задающего вопрос по символической записи, определим сначала (xit „=aki J как конъюнкцию (xi= —aki)Sc ... amp; (xn=ak„). Тогда для о — какой-субъекта (17) и 5 — выбора (49), санкционированного какой-субъектом (17), определим max (о, S) как

50. yXf ... ухп [Сamp;1 amp; ... amp; Crxr •=gt;

о [Axt ...ж„=gt; [(ж,. „ = аіи в) V ... V (xt, я=ари ч)]]]

и назовем это выражение требованием максимальной полноты в а и S. Дело утомительной, но несложной семантики установить, что max ( a, S) истинно в некоторой интерпретации тогда и только тогда, когда каждая из истинных реальных альтернатив в реальной области субъекта or обозначена относительно о некоторым конъюнктивным членом выбора S.