-
1 классическое пропозициональное исчисление
Mathematics: classical propositional calculusУниверсальный русско-английский словарь > классическое пропозициональное исчисление
-
2 двузначное пропозициональное исчисление
Mathematics: two-valued propositional calculus (классическое)Универсальный русско-английский словарь > двузначное пропозициональное исчисление
См. также в других словарях:
ПРОПОЗИЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ — исчисление высказываний, логическое исчисление, в к ром выводимыми объектами являются пропозициональные формулы. Каждое П. и. задается набором аксиом (произвольных пропозициональных формул) и вывода правил. Формула, выводимая в данном П. и., наз … Математическая энциклопедия
ИМПЛИКАТИВНОЕ ПРОПОЗИЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ — пропозициональное исчисление, использующее единственную исходную связку (импликацию). Примерами И. п. и. являются полное (или классическое) И. п. и., задаваемое аксиомами и правилами вывода: модус поненс и подстановка, а также позитивное И. п. и … Математическая энциклопедия
ВРЕМЕННАЯ ЛОГИКА — ВРЕМЕННАЯ ЛОГИКА раздел современных неклассических логик, в котором изучаются высказывания с истинностными значениями, изменяющимися во времени. Технически последнее оформляется посредством временных операторов, которые, будучи… … Философская энциклопедия
временная логика — ВРЕМЕННАЯ ЛОГИКА раздел неклассической логики; в ней изучаются рассуждения, построенные из суждений, выражаемых высказываниями с истинностными значениями, приуроченными к определенному времени. Ее возникновение (нач. 1950 х), а также во… … Энциклопедия эпистемологии и философии науки
ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ — формализации содержательных логич. теорий; выводимые объекты Л. п. интерпретируются как суждения, составленные из простейших (имеющих, вообще говоря, субъектно предикатную структуру) при помощи пропозициональных связок и кванторов. Чаще всего… … Математическая энциклопедия
семантика возможных миров — СЕМАНТИКА ВОЗМОЖНЫХ МИРОВ совокупность семантических конструкций для истинностной интерпретации неклассических (не булевых) логических связок, главной особенностью которых является введение в рассмотрение так называемых возможных миров.… … Энциклопедия эпистемологии и философии науки