Алгебра логики

[править | править исходный текст]

Материал из Википедии — свободной энциклопедии

Перейти к: навигация, поиск

Не следует путать с булевой алгеброй.

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