пропозициональная алгебра

Пропозициональная алгебра — это раздел математической логики, изучающий пропозиции и их взаимосвязи. Она основывается на следующих принципах:

  • Логические операции: конъюнкция, дизъюнкция, отрицание.
  • Логические значения: истинность (true) и ложность (false).
  • Составные высказывания: комбинации простых пропозиций.

Что такое тавтология в математической логике?
Тавтология – это утверждение, которое всегда верно.