Алгебра логики является одним из разделов классической математической логики. 13

Алгебра логики (алгебра высказываний) — раздел математической логики, в котором изучаются логические операции над высказываниями. 3 Обычно используется двоичная (бинарная) логика, где высказывания могут быть только истинными или ложными. 3

Основоположником алгебры логики считается Дж. Буль, который положил в основу своего логического учения аналогию между алгеброй и логикой. 3 Буль ставил перед собой задачу решить логические задачи с помощью методов, применяемых в алгебре. 3 Любое суждение он пытался выразить в виде уравнений с символами, в которых действуют логические законы, подобные законам алгебры. 3

Таким образом, связь алгебры логики с классической математической логикой заключается в том, что алгебра логики стала первой системой математической логики, в которой алгебраическая символика стала применяться к логическим выводам в операциях с понятиями. 3