Из двух простых высказываний постройте сложное высказывание, используя логические связки «и», «или»:
Класс
Тема: «Логические операции и составные логические выражения»
Дата: 30.03.2020
Ход урока
1. Изучение нового материала
Знание логики необходимо при разработке алгоритмов и программ, так как в большинстве языков программирования есть логические операции.
Алгебра логики имеет сходство с работой электрических переключательных схем. Электрический переключатель либо пропускает ток (истина), либо не пропускает (ложь).
Оперируя логическими переменными, которые могут быть равны только 0 или 1, алгебра логики позволяет свести обработку информации к операциям с двоичными данными. Именно аппарат алгебры логики положен в основу компьютерных устройств хранения и обработки данных.
Объектами алгебры логики являются высказывания.
Алгебра логики — это раздел математики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности) и логических операций над ними. (записать)
Давайте задумаемся над смыслом слова высказывание. Что означает: человек высказывает свое мнение?
Высказывание — это предложение на любом языке, содержание которого можно однозначно определить как истинное или ложное. (записать)
Например, относительно предложений «Великий русский учёный М. В. Ломоносов родился в 1711 году» и Дважды два четыре» можно однозначно сказать, что они истинны. Предложение «Зимой воробьи впадают в спячку» ложно. Следовательно, эти предложения являются высказываниями.
|
|
|
Побудительные и вопросительные предложения высказываниями не являются.
Например, не являются высказываниями такие предложения, как: «Запишите домашнее задание», «Как пройти в библиотеку?», «Кто к нам пришёл?».
В русском языке высказывания выражаются повествовательными предложениями. Но не всякое повествовательное предложение является высказыванием.
Высказывания могут строиться с использованием знаков различных формальных языков — математики, физики, химии.
В алгебре логики высказывания обозначают буквами и называют логическими переменными.
При этом если высказывание истинно, то значение соответствующей ему логической переменной обозначают единицей (А = 1), а если ложно — нулём (В = 0).
И 1, обозначающие значения логических переменных, называются логическими значениями.
Алгебра логики определяет правила записи, упрощения и преобразования высказываний и вычисления их значений.
Из простых высказываний с помощью логических операций строятся сложные (составные) высказывания.
В алгебре логики существуют три основные логические операции, которые соответствуют связкам, употребляемым в высказываниях в естественном языке.
|
|
|
Простые высказывания могут быть связаны между собой словами И, ИЛИ, НЕ. Получившееся высказывание – сложное высказывание.
В алгебре высказываний, как и в обычной алгебре, вводится ряд операций. Логические связки И, ИЛИ и НЕ заменяются логическими операциями: конъюнкцией, дизъюнкцией и инверсией. Это основные логические операции, при помощи которых можно записать любую логическую функцию.
Логическое отрицание (инверсия), в качестве логической связки в естественном языке могут служить «не», «неверно, что».
Логическое умножение (конъюнкция), в качестве логической связки в естественном языке могут служить «и», «а», «но», «хотя».
Логическое сложение (дизъюнкция), в качестве логической связки в естественном языке может служить «или».
1. Логическая операция инверсия (отрицание)
соответствует частице НЕ
обозначается черточкой над именем переменной или знаком перед переменной
Инверсия логической переменной истинна, если сама переменная ложна, и, наоборот, инверсия ложна, если переменная истинна.
Таблица истинности инверсии имеет вид:
· в естественном языке соответствует словам неверно, что... и частице не;
· обозначение А или 
;
|
|
|
· в языках программирования – Not (Нот);
2.Логическая операция конъюнкция (логическое умножение)
соответствует союзу И обозначается знаком & или Λ, или * (Амперса́нд (иногда — амперсе́нд; англ. ampersand) — знак &. Он является логограммой, заменяющей слово «и» (в оригинале — and) и возник как лигатура букв et (с лат. — «и»)).
Конъюнкция двух логических переменных истинна тогда и только тогда, когда оба высказывания истинны.
Это определение можно обобщить для любого количества логических переменных, объединенных конъюнкцией.
А & В & С=1, только если А=1, В=1, С=1.
Таблица истинности конъюнкции имеет следующий вид:
·
· в естественном языке соответствует союзу И;
· обозначение & («энд») или ^;
· в языках программирования - And (Энд)
3.Логическая операция дизъюнкция (логическое сложение)
соответствует союзу ИЛИ
обозначается знаком v или + или ║
Дизъюнкция двух логических переменных ложна тогда и только тогда, когда оба высказывания ложны.
Это определение можно обобщить для любого количества логических переменных, объединенных дизъюнкцией.
А v В v С =0, только если А=0, В=0, С=0.
Таблица истинности дизъюнкции имеет следующий вид:
• в естественном языке соответствует союзу ИЛИ ;
|
|
|
• обозначение «٧»;
• в языках программирования обозначение: Or. (Ор)
Дизъюнкция Инверсия 
Конъюнкция
Операции инверсия, конъюнкция и дизъюнкция являются основными операциями алгебры логики и называются бу’левыми операциями.
Существуют другие логические операции. Но они могут быть выражены через основные, поэтому их можно назвать функциями.
2. Закрепление материала
3. Самостоятельная работа
Задание:
Из двух простых высказываний постройте сложное высказывание, используя логические связки «и», «или»:
а) В кабинете есть парты. В кабинете есть стулья.
б) Одна половина класса изучает английский язык. Вторая половина изучает французский язык.
в) Антон старше Лили. Сережа старше Лили.
2. Вычислите значение логического выражения при следующих значениях логических величин А, В и С: А=Истина, В=Ложь, С=Ложь:
а)А или В; б)А и В; в)В или С.
Дата добавления: 2020-04-25; просмотров: 474; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!