1. Философский словарь

Алгебра Логики

Раздел математической логики, основанный на применении алгебраических методов к изучению логических объектов — классов, высказываний и др. Исторически А. л. возникла как алгебра классов и как алгебра высказываний (Буль) А. л. рассматривает высказывания только со стороны значения их истинности, причем равносильными считаются высказывания, имеющие одно и то же значение истинности А л использует буквенную символику Помимо символов, обозначающих сами высказывания, вводятся символы для логических операций, с помощью к-рых из одних выражений А. л. образуются др. А. л. находит также приложение к теории электрических и релейно-контактных схем

Источник: Философский словарь на Gufo.me

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

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