Математическая логика

Алгебра логики
Раздел математики, изучающий высказывания, рассматриваемые с точки зрения их логических значений, и логический операций над ними.
Основатель алгебры логики Джордж Буль.

Высказывание
Предложение, про которое можно сказать, истинно оно или ложно.
Из имеющихся высказываний можно строить новые высказывания, используя логические связи «И», «ИЛИ», «НЕ», «ЕСЛИ…ТО…» и т.д.
Если никакая часть данного высказывания не является высказыванием, то его называют элементарным.
Высказывания, образованные из других высказываний, называют составными (сложными).
Истинность составных высказываний зависит от истинности образующих их высказываний и логических связок.

Логическая переменная
Переменная, которая обозначает любое высказывание и может принимать логические значения «истина» или «ложь»

Логические операции

Логическое выражение
Составное логическое высказывание, состоящее из логически констант, логических переменных, знаков логических операций и скобок.

Приоритет операций
Отрицание
Конъюнкция
Дизъюнкция
Импликация; Эквивалентность.

Решение логического уравнения
Один или несколько наборов значений логических переменных, при которых логическое уравнение будет истинным высказыванием.

Домашнее задание (база)