Рефераты - Афоризмы - Словари
Русские, белорусские и английские сочинения
Русские и белорусские изложения
 

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

Статья из раздела: «Философский словарь»

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

ref.by 2006—2019
contextus@mail.ru