Базовый уровень
Алгебра логики
История

Аристотель

(384-322 до н.э.). Основоположник формальной логики (понятие, суждение, умозаключение).


Джордж Буль (1815-1864).

Создал новую область науки - Математическую логику
(Булеву алгебру или Алгебру высказываний).


Клод Шеннон (1916-2001).

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


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

Обозначение

А = "Москва - столица России"

*Высказывание обозначаем заглавной латинской буквой. Высказывание записываем в кавычках

А ≡ 1 (Высказывание А истинно)
*≡ - знак называется "тождественно равно".

Примеры решения заданий

  1. Определить является ли предложение высказыванием. Если высказывание, то определить истинность.

А = "Москва - столица России"

А - высказывание. А ≡ 1

В = "Ученик школы"

В - не высказывание (характеристика объекта)

С = "Январь - летний месяц"

С - высказывание, С ≡ 0

D = "Число 9 не делится на 3"

D - высказывание, D ≡ 0

E = "Без стука не входить!"

E - не высказывание (призыв к действию)

F = "Это высказывание ложное"

F - не высказывание (нельзя определить истинность)

ТЕСТ на закрепление

https://forms.gle/U5efwqvkheJdKNDbA

Определения

Отрицанием высказывания Х называется высказывание НЕ Х, которое истинно, если Х ложно, и ложно, если Х истинно. Читается "не х" или "неверно, что х".


Конъюнкцией высказываний Х и У называется высказывание X И У, которое истинно, если Х и У истинны, и ложно, если хотя бы одно из них ложно. Читается "х и у".


Дизъюнкцией высказываний Х и У называется высказывание X ИЛИ У, которое ложно, если Х и У ложны, и истинно, если хотя бы одно из них истинно. Читается "х или у".


Приоритетность операций: НЕ, И, ИЛИ.

Таблица истинности

Задачи

№1. Запишите по одному истинному и одному ложному высказыванию из истории, литературы, русскому языку, математику.

№2. В следующих высказываниях выделите простые высказывания, обозначив каждое из них буквой, запишите с помощью букв и знаков логических операций каждое составное высказывание.

а) Неверно, что 5 больше, чем 3.

б) Число 21 четное и двухзначное.

в) Завтра пойдем в школу или в кино.

г) Библиотеки не работают ночью.

д) Компьютерные игры бывает offline или online.

This site was made on Tilda — a website builder that helps to create a website without any code
Create a website