Аристотель
(384-322 до н.э.). Основоположник формальной логики (понятие, суждение, умозаключение).
Джордж Буль (1815-1864).
Создал новую область науки - Математическую логику
Клод Шеннон (1916-2001).
Его исследования позволили применить алгебру логики в вычислительной технике
Обозначение
А = "Москва - столица России"
*Высказывание обозначаем заглавной латинской буквой. Высказывание записываем в кавычках
А ≡ 1 (Высказывание А истинно)Примеры решения заданий
А = "Москва - столица России"
А - высказывание. А ≡ 1
В = "Ученик школы"
В - не высказывание (характеристика объекта)
С = "Январь - летний месяц"
С - высказывание, С ≡ 0
D = "Число 9 не делится на 3"
D - высказывание, D ≡ 0
E = "Без стука не входить!"
E - не высказывание (призыв к действию)
F = "Это высказывание ложное"
F - не высказывание (нельзя определить истинность)
ТЕСТ на закрепление
Определения
Отрицанием высказывания Х называется высказывание НЕ Х, которое истинно, если Х ложно, и ложно, если Х истинно. Читается "не х" или "неверно, что х".
Конъюнкцией высказываний Х и У называется высказывание X И У, которое истинно, если Х и У истинны, и ложно, если хотя бы одно из них ложно. Читается "х и у".
Дизъюнкцией высказываний Х и У называется высказывание X ИЛИ У, которое ложно, если Х и У ложны, и истинно, если хотя бы одно из них истинно. Читается "х или у".
Приоритетность операций: НЕ, И, ИЛИ.
Таблица истинности

Задачи
№1. Запишите по одному истинному и одному ложному высказыванию из истории, литературы, русскому языку, математику.
№2. В следующих высказываниях выделите простые высказывания, обозначив каждое из них буквой, запишите с помощью букв и знаков логических операций каждое составное высказывание.
а) Неверно, что 5 больше, чем 3.
б) Число 21 четное и двухзначное.
в) Завтра пойдем в школу или в кино.
г) Библиотеки не работают ночью.
д) Компьютерные игры бывает offline или online.
