Алгебра высказываний

Пусть А - множество высказываний относительно и .

Обозначим через f высказывание, которое всегда ложно и через t высказывание, которое всегда истинно, (f – противоречие, t – тавтология).

, т.к. , т.к. А замкнуто, то

- алгебра высказываний.

4. Содержание

   • Дм. Лекция №6 Тема: «Алгебраические структуры»
   • Алгебры с одной бинарной алгебраической операцией
   • Алгебры с двумя бинарными алгебраическими операциями
   • Гомоморфизмы алгебр
   • Булевы алгебры
   • Примеры булевых алгебр
   • Двоичная алгебра логики.
   • Алгебра множеств
   • Алгебра высказываний
   • Алгебра событий
   • Свойства булевой алгебры
   • Алгебраические системы
   • Решетки