- разновидность многозначной логики, в которой высказываниям (суждениям) наряду с истиной и
ложью приписываются промежуточные значения, представляющие собой различные степени вероятности истинности высказываний, степени правдоподобия или подтверждения. Истинным высказываниям приписывается
истинностное значение (
вероятность) 1; ложным высказываниям -
значение 0; гипотетическим же высказываниям в качестве значения приписывается любое действительное
число из интервала (0,1). Над истинностными значениями (вероятностями) гипотез определяются
логические операции:
конъюнкция,
дизъюнкция,
отрицание. Получившаяся
система допускает различные аксиоматизации.