АЛГЕБРА ЛОГИКИ

АЛГЕБРА ЛОГИКИ — система алгебраических методов решения логических задач и совокупность таких задач; в узком смысле — табличное, матричное построение логики высказываний, определяющее логические операции над ними.

Источник: Большой энциклопедический словарь на Gufo.me


Значения в других словарях

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