Необходимые определения и обозначения. Рассмотрим игру, задаваемую матрицами:

где первая матрица есть матрица выигрышей игрока 𝒜, а вторая дает выигрыши игрока ℬ. Игрок 𝒜 выбирает строчку (𝑖 ∈ 1,2), игрок ℬ – столбец (𝑗 ∈ 1,2). После того как выбор сделан, игрок 𝒜 получает выигрыш 𝑎_>𝑖𝑗, а игрок ℬ – выигрыш 𝑏_>𝑖𝑗. Матрицы известны обоим игрокам. Данная игра является игрой с постоянной суммой 𝑎_>𝑖𝑗 + 𝑏_>𝑖𝑗 = 1, и ее равновесные смешанные стратегии одинаковы для обоих игроков

. Здесь введены обозначения: 𝑥_>1, 𝑥_>2– вероятности с которыми игрок 𝒜 выбирает первую (𝐴_>1) или вторую (𝐴_>2) стратегию (первую или вторую строчку матрицы 𝐴); аналогично (𝑦_>1𝑦_>2) – распределение вероятностей на стратегиях 𝐵_>1,𝐵_>2 (столбцах матрицы 𝐵). Математическое ожидание выигрыша для игрока 𝒜 равно 0.5. Дополним описание данной игры допущением, что для каждой стратегии игроков известны признаки распознавания, известные обоим. Кроме того, для каждого такого признака существуют косвенные признаки, некоторые из которых носят рефлексивный характер. Будем считать, что скрытие косвенных признаков невозможно.

Приведем определения для признаков распознавания. Введем обобщенное обозначение S для некоторой стратегии игрока.

Признак α называется необходимым признаком для распознавания стратегии, если он принимает значение истина всякий раз, когда реализуется распознаваемая стратегия. В символах математической логики это отображается импликацией S → а и правилом вывода (распознавания) S,S → α/α: если противник выбрал стратегию S, то должен наблюдаться признак α.

Признак β называется достаточным признаком для распознавания стратегии, если из факта наблюдения признака β(логическая формула признака приняла значение истина) следует выбор стратегии S. В символах математической логики это отображается импликацией β → S и правилом вывода (распознавания) β/β → S/S: если наблюдается признак β, то противник выбрал стратегию S.

Признак γ является необходимым и достаточным для распознавания стратегии S, если утверждения γ и S одновременно истинны или одновременно ложны. С прикладной точки зрения наблюдение признака γ позволяет делать безошибочный прогноз о выборе противника.

Из факта наблюдения признака α не следует достоверное заключение о выборе стратегии. Следует лишь возможность реализации распознаваемой стратегии S, поскольку множество истинности признака а шире, чем множество истинности необходимого и достаточного признака у. Однако, из факта ложности признака α (наблюдается ā) следует, что стратегия S не будет реализована. Действительно, это следует из закона логики (S → а) → (а → S). Из факта отсутствия признака β не следует, что стратегия S не будет реализована, поскольку множество истинности достаточного признака уже, чем множество истинности признака γ.

Для игры 2×2, описанной выше, из изложенного следует: 1) если γ необходимый и достаточный признак для S, то γ есть необходимый и достаточный признак для; 2) если а необходимый признак для S, то ā есть достаточный признак для S¯; 3) Если β достаточный признак для S, то β¯ есть необходимый признак для S¯.

Пусть игра, описанная выше, такова что, игрок 𝒜 для распознавания стратегий противника использует разные признаки: для В_>1 использует некоторый признак δ_>1, а признак δ_>2 – для стратегии В_>2. Допустим, что данные признаки приводят к успешному распознаванию с одинаковой вероятностью θ. Использование признаков увеличивает математическое ожидание выигрыша, если вероятность θ > 0.5.

Если в игре2×2: 1) игрок 𝒜 для распознавания стратегии В_>1 использует только необходимый признак