Смотреть больше слов в «Энциклопедическом словаре естествознания»
исчисление суждений, раздел математической логики (См. Математическая логика), в котором формально-аксиоматическим методом изучаются сложные (с... смотреть
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ исчисление предложений, формализованная система, в крой задаётся способ доказательства некоторых высказываний (форму... смотреть
исчисление предложений, формализованная система, в к-рой задаётся способ доказательства нек-рых высказываний (формул), наз. теоремами. И. в. может быть формализовано различными способами: с помощью задания аксиом и правил вывода, т. е. посредством аксиоматического метода; с помощью одних только правил (натуральное исчисление) и др. Формализация И. в. (интуиционистского, классического, минимального и др.) является адекватной, если всякая истинная во всех интерпретациях формула доказуема в данном исчислении (в этом случае говорят, что соответств. исчисление полно относительно данной семантики; см. Полнота, Семантика). Так, в известных полных формализациях классич. (двузначной) логики все тавтологии являются доказуемыми формулами.... смотреть
раздел символич. логики, в к-ром изучаются логич. связи между высказываниями, рассматриваемыми в отвлечении от их субъектно-предикатного строения; необходимая часть исчисления предикатов. См. Логика высказываний. ... смотреть
1) <math.> propositional calculus2) sentential calculus
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ, раздел математической логики, аксиоматическое построение логики высказываний.
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ - раздел математической логики, аксиоматическое построение логики высказываний.
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ, раздел математической логики, аксиоматическое построение логики высказываний.
propositional calculus, sentential calculus
propositional calculus
чи́слення висло́влювань, чи́слення ви́словлень
propositional calculus, sentential calculus
Aussagenkalkül
propositional calculus
• výrokový kalkulus
sentential calculus
айтылымдарды санау
пікірлер қисабы