Алгебра логики. Понятие высказывания

Алгебра логики – часть дискретной математики
Математический аппарат алгебры логики широко используется в информатике :
Проектирование ЭВМ
Теория автоматов
Теория алгоритмов
Теория информации
Целочисленное программирование

«Двузначная логика»
Алгебра логики изучает свойства функции, у которых и аргументы, и значения принадлежат заданному двухэлементному множеству (0, 1)
Английский математик XIX столетия – отец алгебры логики.
Построил один из разделов формальной логики.

Вклад в становление и развитие алгебры логики внесли:

Спустя 100 лет…
1938 год
Клод Шеннон (математик и инженер) показал, что алгебра логики применима для описания процессов функционирования релейно-контактных и электронно-ламповых схем.

Высказывания
С помощью высказывания мы устанавливаем свойства, взаимосвязи между объектами.
Каждое высказывание несет значение «истина» или «ложь»

Предикаты
Высказывания могут выражаться с помощью математических, физических, химических и прочих знаков.
Сами числовые выражения, равенства или неравенства, содержащие переменные высказываниями не являются.
Предложения типа «х<12» называются предикатами