Основы логики

раздел математики, предназначенная для описания действий над переменными величинами, которые принято обозначать строчными латинскими буквами, например a,b,x,y и т.д.
Термин «логика» происходит от
древнегреческого logos,
означающего «слово, мысль,
понятие, рассуждение, закон»
Алгебра

Алгебру логики часто называют булевой алгеброй, по имени английского математика Джорджа Буля (1815-1864),
разработавшего
в XIX в. ее основные
положения
Алгебра логики-
аппарат, который позволяет выполнять действия над высказываниями.

Высказывание- это предложение, относительно которого имеет смысл говорить истинно оно или ложно
Высказывание – повествовательное предложение, в котором что-либо отрицается или утверждается
Основные понятия логики

Пример

Существуют выражения, которые не являются высказываниями.
Обычно это определение терминов, уравнения, неоднозначно сформированные высказывания, если истинность или ложность не установлена и т.д.

Например
Определение термина
Не указано значение переменной x
Не указано о каком именно человеке идет речь
Не указано где именно идет дождь, город, время года и т.д.