Вопросы к Поиску с Алисой
Алгебра логики и классическая математическая логика связаны, так как алгебра логики — раздел математической логики. ru.wikipedia.org in.lit.msu.ru
Алгебра логики — формальная логическая теория, в которой используются алгебраические методы для решения логических задач. in.lit.msu.ru Она предоставляет математический аппарат, с помощью которого формализуют, упрощают, вычисляют и преобразовывают логические высказывания. in.lit.msu.ru
Классическая математическая логика — это логика, развиваемая с помощью математических методов. rstu.ru Она включает два основных раздела: логику высказываний (или пропозициональную логику) и охватывающую её логику предикатов. rstu.ru
Таким образом, алгебра логики — часть классической математической логики, где алгебраическая символика применяется к логическим выводам в операциях с понятиями. ru.wikipedia.org