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