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

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

Смотреть больше слов в «Энциклопедическом словаре естествознания»

ИСЧИСЛЕНИЕ КЛАССОВ →← ИСЧИСЛЕНИЕ

Смотреть что такое ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ в других словарях:

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

        исчисление суждений, раздел математической логики (См. Математическая логика), в котором формально-аксиоматическим методом изучаются сложные (с... смотреть

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

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ         исчисление предложений, формализованная система, в крой задаётся способ доказательства некоторых высказываний (форму... смотреть

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

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

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

раздел символич. логики, в к-ром изучаются логич. связи между высказываниями, рассматриваемыми в отвлечении от их субъектно-предикатного строения; необходимая часть исчисления предикатов. См. Логика высказываний. ... смотреть

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

1) <math.> propositional calculus2) sentential calculus

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

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

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

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

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

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

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

propositional calculus, sentential calculus

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

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

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

propositional calculus, sentential calculus

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

айтылымдарды санау

T: 193