Алгебра логики (Фролов, 1991)

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

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 14.