Элементы алгебры, логики, математические основы информатики

Ключевые слова
алгебра логики
высказывание
логическая операция
конъюнкция
дизъюнкция
отрицание
логическое выражение таблица истинности

Логика
(др.-греч. λογική — раздел философии, «наука о правильном мышлении», «искусство рассуждения» от λόγος — «речь», «рассуждение», «мысль») — наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка.

Клод Шеннон (1916-2001). Его исследования позволили применить алгебру логики в вычислительной технике
Логика
Аристотель (384-322 до н.э.). Основоположник формальной логики (понятие, суждение, умозаключение).
Джордж Буль (1815-1864). Создал новую область науки - Математическую логику (Булеву алгебру или Алгебру высказываний).

Логическое высказывание — это повествовательное предложение, в отношении которого можно однозначно сказать, истинно оно или ложно.
В русском языке высказывания выражаются повествовательными предложениями:
Земля вращается вокруг Солнца.
Москва - столица.
Побудительные и вопросительные предложения высказываниями не являются.
Без стука не входить!
Откройте учебники.
Ты выучил стихотворение?
Высказывание
Но не всякое повествовательное предложение является высказыванием:
Это высказывание ложное.

Высказывание или нет?
Зимой идет дождь.
Снегири живут в Крыму.
Кто к нам пришел?
У треугольника 5 сторон.
Как пройти в библиотеку?
Переведите число в десятичную систему.
Запишите домашнее задание

Алгебра логики определяет правила записи, вычисления значений, упрощения и преобразования высказываний.
В алгебре логики высказывания обозначают буквами и называют логическими переменными.
Если высказывание истинно, то значение соответствующей ему логической переменной обозначают единицей (А = 1), а если ложно - нулём (В = 0).
0 и 1 называются логическими значениями.
Алгебра логики

Простые и сложные высказывания
Высказывания бывают простые и сложные.
Высказывание называется простым, если никакая его часть сама не является высказыванием.
Сложные (составные) высказывания строятся из простых с помощью логических операций.

Конъюнкция - логическая операция, ставящая в соответствие каждым двум высказываниям новое высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания истинны.
Другое название: логическое умножение.
Обозначения: ∧ , ×, &, И.
Логические операции
Таблица истинности:
Графическое представление
A
B
А&В

Дизъюнкция - логическая операция, которая каждым двум высказываниям ставит в соответствие новое высказывание, являющееся ложным тогда и только тогда, когда оба исходных высказывания ложны.
Другое название: логическое сложение.
Обозначения: V, |, ИЛИ, +.
Логические операции
Таблица истинности:
Графическое представление
A
B
АVВ

Инверсия - логическая операция, которая каждому высказыванию ставит в соответствие новое высказывание, значение которого противоположно исходному.
Другое название: логическое отрицание.
Обозначения: НЕ, ¬ , ¯ .
Логические операции имеют следующий приоритет:
инверсия, конъюнкция, дизъюнкция.
Логические операции
Таблица истинности:
Графическое представление
A
Ā

Повторим!
Инверсия
Конъюнкция
Дизъюнкция
Высказывание – это предложение на любом языке, содержание которого
можно однозначно определить как истинное или ложное.
Приоритет выполнения логических операций: ¬, &, V.
Основные логические
операции