Алгебра-логика – математический аппарат, с пом. которого записывают, вычисляют, упрощают и преобразовывают логические высказывания.
Логическое высказывание – любое повествовательное предложение, в отношении которого можно сказать, истинно оно или ложно.
Высказывательная форма – это повествовательное предложение, которое прямо или косвенно содержит хотя бы одну переменную и становится высказыванием, когда все переменные замещены своими значениями. (У нее красивые глаза)
Высказывание – образованные из других высказываний с помощью логических связок НО, И, ИЛИ, ЕСЛИ ТО, ТОГДА И ТОЛЬКО ТОГДА называются составными. Все, что с ними не связано – простые.