Статья 581

Первая строка 7 будет состоять из одних единиц.

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

Обычно существует много возможных решений для, и для вероятности можно указать лишь границы, в которых она должна лежать.

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