АЛГЕБРА ЛОГИКИ
АЛГЕБРА ЛОГИКИ — система алгебраических методов решения логических задач и совокупность таких задач; в узком смысле — табличное, матричное построение логики высказываний, определяющее логические операции над ними.
Источник:
Большой энциклопедический словарь
на Gufo.me
Значения в других словарях
- Алгебра Логики — Раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логич. значений (истинности пли'ложности), и логич. операций над ними. А. л. возникла в сер. 19 в. в трудах Дж. Буля (см. [1], [2]) и развилась затем в работах... Математическая энциклопедия
- АЛГЕБРА ЛОГИКИ — АЛГЕБРА ЛОГИКИ – одна из осн. частей математической логики, основанная на применении алгебраических методов к логике. Возникнув в сер. 19 в. в трудах Буля [БУЛЬ]и развиваясь затем в работах Джевонса, Шредера, Пирса [ПИРС], Порецкого и др. Новая философская энциклопедия
- Алгебра логики — Раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности), и логические операции над ними. А. л. возникла в середине 19 в. в трудах Дж. Буля (См. Большая советская энциклопедия
- алгебра логики — АЛГЕБРА ЛОГИКИ — исторически первая форма математической (символической) логики, сложившаяся к последней трети 19 в. К ее созданию привела аналогия между решением алгебраических уравнений и выводом следствий из посылок, а также... Энциклопедия эпистемологии и философии науки