Хотя затруднительно говорить о какой-либо содержательной причинно-следственной связи между ними, но тем не менее (4) не противоречит и тем самым совместимо с состоянием ((~1) & (~2)), третьей из возможно реализуемых в истории альтернатив. Между этим состоянием и состояниями (3) и (4) нет жесткой зависимости, поэтому имеет место следующее соотношение:
т.е. состояние ((~1) & (~2)) совместимо с состояниями как войны, так и мира.
Для полноты картины рассмотрим также и состояние (~3) и (~4). Возможность подобных состояний предполагается некоторыми очевидными логическими преобразованиями. С одной стороны, это предпочтения лучших миров худшим: (4) > (~4); (~3) > (3), так и модальное преобразование: Р => ◇ (Р) => ◇ (Р \/ ~Р). Как видим, речь опять-таки идет только о возможности (в будущем) и предпочтительности. Другое дело, как интерпретировать (~3) и (~4): принять ли, что возможны только два состояния – войны или мира, и тем самым, что (~3) ≡ (4), а (~4) ≡ (3), или же допустить и иные возможности – считать, что состояние не-войны не обязательно есть состояние мира, а отсутствие мира еще не есть состояние войны. Выбранный ответ никак не влияет на результаты исследования. Мы сами, считая, что непривычность оперирования выражениями (~3) и (~4) носит не логический, а лингвистический характер (см. ниже), склоняемся ко второму решению, но читатель, для которого это решение неприемлемо, может проигнорировать все те формулы, где будут встречаться выражения (~3) и (~4), в особенности их конъюнкцию, которая при таком подходе оказывается противоречивой, и считать достаточными только (3) и (4). Но вместе с тем очевидно, что состояния (3), (4), (~3) и (~4) не являются независимыми друг от друга и определенным образом соотнесены между собой. Единственное, что можно предположить, что (~3) и (~4) если не эквивалентны, то шире, нежели, соответственно, (4) и (3) – они не могут не включать их в качестве подмножества, т.е. в мирах (~3), в которых не имеет место состояние войны, может иметь место либо состояние мира, либо некоторое состояние одновременно не-войны, но и не-мира: (~3) ≡ (4) \/ ((~3) & (~4). Аналогично (~4) ≡ (3) \/ ((~3) & (~4). Это может быть прочитано и в модальной форме: не во всех возможных мирах, где не имеет место состояние войны (мира), имеет место состояние войны (мира).
Поскольку интерес представляет то единственное состояние (~1) & (~2), которое может привести к состоянию (4), то дополним приведенную выше формулу состояниями (~3), (~4) и (~3) & (~4) и получим:
((~1) & (~2)) => (3) \/ (4) \/ (~3) \/ (~4) \/ (~3) & (~4).
В силу вышеприведенных эквивалентностей состояния (~3) и (~4) путем сокращения элиминируются, что приводит к: (~1) & (~2)) => (3) \/ (4) \/ (~3) & (~4).
Что касается ранжирования этих альтернатив по предпочтительности, то, в отличие от предыдущего, в данном случае предпочтения участников те же: ((4) > (3)), из чего следует также (~3) > (3) и (4) > (~4). Заменяя (~3) и