Статья 580

Пусть известны вероятности всех предложений.

Обозначим их. Для любой разрешимой логики может быть построена матрица, задающая все возможные согласованные приписывания предложениям.
Назовем эту матрицу. Каждый столбец этой матрицы соответствует одному из возможных приписываний истинностных значений для данных предложений, и, равно 1, если при - приписывании получает значение истина, и равно 0 в противном случае.

Пусть задан мерный вектор-столбец, его компонента, есть вероятность - предложения.

Вероятности предложений задаются вектором.
Таким образом, вероятность предложения компонента равна сумме вероятностей тех приписываний, в которых истинно.
Пусть теперь известны вероятности требуется определить вероятность. Введем тавтологию как первый элемент множества предложений.