Вероятностная логика
ВЕРОЯТНОСТНАЯ ЛОГИКА — раздел логики, изучающий логические системы, в которых множеством значений истинности высказываний служат вероятности (степени правдоподобия или подтверждения). Чаще всего вероятности добавляются к системе пропозициональной логики в качестве нового отношения, соединяющего множество высказываний и множество их значений из интервала 0<Р(А)<1, где Ρ (А) — вероятность истинности высказывания А. Таким образом, система аксиом вероятностной логики состоит из трех частей: пропозициональной, задающей операции между выска-зываниями; арифметической, задающей операции между значениями вероятности; вероятностной, задающей функцию приписывания высказываниям их значений...