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


К СПИСКУ СЛОВ В НАЧАЛО СЛОВАРЯ

НА ГЛАВНУЮ