БСЭ БСЭ - Большая Советская Энциклопедия (ИС)

Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, § 14—20; Марков А. А., Теория алгорифмов, М.—Л., 1954 (Тр. Математического института им. В. А. Стеклова, т. 42); Карри Х. Б., Основания математической логики, пер. с англ., М., 1969, гл. 2; Математическая теория логического вывода, Сборник переводов, под ред. А. В. Идельсона, Г. Е. Минца, М., 1967; Логические и логико-математические исчисления, 1, Сб. работ, под ред. В. П. Оревкова, Л., 1968.

Ю. Л. Гастев.

Исчисле'ние выска'зываний,исчисление суждений, раздел математической логики , в котором формально-аксиоматическим методом изучаются сложные (составные) высказывания, составленные из простых (элементарных, не анализируемых) высказываний с помощью логических связок «и», «или», «если..., то» и «неверно, что». При этом ставится цель охарактеризовать общезначимые в том или ином смысле высказывательные формы, т. е. те формулы, которые при любой подстановке высказываний вместо переменных дают высказывания, верные в соответствующем смысле.

Исчисле'ние предика'тов,раздел математической логики — совокупность логико-математических исчислений , формализующих те разделы современной логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно-предикатной структуры предложений) правила оперирования с кванторами . См. Высказывание , Логика предикатов .