Алгебра логики (алгебра высказываний) — раздел математической логики, в котором изучаются логические операции над высказываниями Чаще всего предполагается, что высказывания могут быть только истинными или ложными, то есть используется так называемая бинарная или двоичная логика, в отличие от, например, троичной логики.
algebra.ppt
АЛГЕБРА ЛОГИКИ
Алгебра логики
АЛГЕБРА ЛОГИКИ
Логика
Логика – это наука о формах и законах
человеческой мысли, о законах
доказательных рассуждений, изучающая
методы доказательств и опровержений, т.е.
методы установления истинности или
ложности одних высказываний
(утверждений) на основе истинности или
ложности других высказываний.
АЛГЕБРА ЛОГИКИ
Алгебра логики
•Алгебра логики — это математический
аппарат, с помощью которого записывают,
вычисляют, упрощают и преобразовывают
логические высказывания.
Создателем алгебры логики является живший в ХIХ веке
английский математик Джордж Буль, в честь которого эта
алгебра названа булевой алгеброй высказываний.