Исчисление высказываний

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

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ - раздел математической логики, аксиоматическое построение логики высказываний.

sentential calculus

propositional calculus, sentential calculus

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ

исчисление предложений, формализованная система, в крой задаётся способ доказательства некоторых высказываний (формул), наз. теоремами. И. в. может быть формализовано различными способами: с помощью задания аксиом и правил вывода, т. е. посредством аксиоматического метода; с помощью одних только правил (натуральное исчисление) и др. Формализация И. в. (интуиционистского, классического, минимального и др.) является адекватной, если всякая истинная во всех интерпретациях формула доказуема в данном исчислении (в этом случае говорят, что соответств. исчисление полно относительно данной семантики; см. Полнота, Семантика). Так, в известных полных формализациях классич. (двузначной) логики все тавтологии являются доказуемыми формулами.

исчисле́ние выска́зываний

раздел математической логики, аксиоматическое построение логики высказываний.

* * *

ИСЧИСЛЕ́НИЕ ВЫСКА́ЗЫВАНИЙ, раздел математической логики, аксиоматическое построение логики высказываний(см. ЛОГИКА ВЫСКАЗЫВАНИЙ).

propositional calculus, sentential calculus

чи́слення висло́влювань, чи́слення ви́словлень

чи́слення висло́влювань, чи́слення ви́словлень