Презентация на тему "Алгебра высказываний" по информатике в формате powerpoint. В данной презентации для школьников 10-11 класса рассказывается о логических операциях и логических переменных, об основных законах алгебры высказываний. Автор презентации: Сергеев Евгений Викторович.
Алгебра высказываний была разработана для того, чтобы определять истинность или ложность составных высказываний, не вникая в их содержание
Эквивалентность – это логическая операция, объединяющая два простых высказывания в одно составное и которое является истиннымтогда и только тогда, когдаоба исходных высказывания одновременно либо истинны, либо ложны.
1 слайд
Примеры строгих и нестрогих дизъюнкций: МОУ СОШ № 19 "Выбор" г. Находка Высказывание Вид дизъюнкции Витя сидит на северной или восточной трибуне стадиона Строгая Студент едет в электричке или читает книгу Нестрогая Оля любит писать сочинения или решать логические задачи Нестрогая Сережа учится в школе или окончил ее Строгая Завтра дождь будет или не будет (третьего не дано) Строгая Давайте бороться за чистоту. Чистота достигается так: или не сорить, или часто убирать Нестрогая Земля движется по круговой или эллиптической орбите Строгая Числа можно складывать или перемножать Нестрогая МОУ СОШ № 19 "Выбор" г. Находка
2 слайд
образуется соединением двух высказываний в одно с помощью союза «или». Союз «или» может использоваться: в неисключающем (объединительном) смысле - операция называется нестрогой дизъюнкцией; в исключающем (разделительном) смысле - операция называется строгой дизъюнкцией. МОУ СОШ № 19 "Выбор" г. Находка МОУ СОШ № 19 "Выбор" г. Находка
3 слайд
Графическая иллюстрация конъюнкции с помощью диаграмм Эйлера - Венна: A - множество отличников в классе; B - множество спортсменов в классе; A B - множество отличников, занимающихся спортом. МОУ СОШ № 19 "Выбор" г. Находка B А МОУ СОШ № 19 "Выбор" г. Находка
4 слайд
Таблица истинности конъюнкции: МОУ СОШ № 19 "Выбор" г. Находка Конъюнкция двух высказываний истинна тогда и только тогда, когда оба высказывания истинны, и ложна, когда хотя бы одно высказывание ложно. A B A ۸ B 0 0 0 0 1 0 1 0 0 1 1 1 МОУ СОШ № 19 "Выбор" г. Находка
5 слайд
Образуется соединением двух высказываний в одно с помощью союза «и». Обозначение конъюнкции: A И B; A ۸ B; A & B; A B; A AND B. МОУ СОШ № 19 "Выбор" г. Находка А = «10 делится на 2» В = «10 делится на 5» , A ۸ B = «10 делится на 2 и на 5». МОУ СОШ № 19 "Выбор" г. Находка
6 слайд
Графическая иллюстрация инверсии с помощью диаграмм Эйлера - Венна: А - множество отличников; Ā - множество неотличников. МОУ СОШ № 19 "Выбор" г. Находка А Ā МОУ СОШ № 19 "Выбор" г. Находка
7 слайд
Истинность высказывания, имеющего форму Ā (вне зависимости от его содержания), определяется по специальной таблице истинности. Таблица истинности инверсии (неА): МОУ СОШ № 19 "Выбор" г. Находка Логическое отрицание (инверсия) делает истинное высказывание ложным и, наоборот, ложное - истинным. А Ā 0 1 1 0 МОУ СОШ № 19 "Выбор" г. Находка
8 слайд
Образуется из высказывания с помощью добавления частицы «не» к сказуемому или использования оборота речи «неверно, что…». Обозначение инверсии: НЕ А; ¬ A; Ā; NOT А. МОУ СОШ № 19 "Выбор" г. Находка А = Дождя не будет Ā = Неверно, что дождя не будет. (Дождь будет.) МОУ СОШ № 19 "Выбор" г. Находка
9 слайд
Способ построения сложного высказывания из данных высказываний, при котором значение истинности сложного высказывания полностью определяется значениями истинности исходных высказываний. Истинное высказывание в логике обозначается - 1, ложное – 0 Высказывания обозначаются буквами латинского алфавита: А, В, С и т.д. МОУ СОШ № 19 "Выбор" г. Находка МОУ СОШ № 19 "Выбор" г. Находка
10 слайд
Логическое отрицание (инверсия) Логическое умножение (конъюнкция) Логическое сложение (дизъюнкция) Логическое следование (импликация) Логическое равенство (эквивалентность) МОУ СОШ № 19 "Выбор" г. Находка МОУ СОШ № 19 "Выбор" г. Находка
11 слайд
образуется соединением двух высказываний в одно при помощи оборота речи «…тогда и только тогда, когда...». Обозначение эквивалентности: A B; A B; A ~ B. МОУ СОШ № 19 "Выбор" г. Находка Угол называется прямым тогда и только тогда, когда он равен 90°. Голова думает тогда и только тогда, когда язык отдыхает. МОУ СОШ № 19 "Выбор" г. Находка
12 слайд
Графическая иллюстрация импликации с помощью диаграмм Эйлера - Венна: (A=0) (B=0) (A=0) (B=1) (A=1) (B=1) МОУ СОШ № 19 "Выбор" г. Находка B А МОУ СОШ № 19 "Выбор" г. Находка
13 слайд
Таблица истинности импликации: МОУ СОШ № 19 "Выбор" г. Находка Импликация двух высказываний ложна тогда и только тогда, когда из истинного высказывания следует ложное (Из истины не может следовать ложь). A B A B 0 0 1 0 1 1 1 0 0 1 1 1 МОУ СОШ № 19 "Выбор" г. Находка
14 слайд
образуется соединением двух высказываний в одно с помощью оборота речи «если..., то...». Обозначение импликации: A B; A B. МОУ СОШ № 19 "Выбор" г. Находка E = Если клятва дана, то она должна выполняться. P = Если число делится на 9, то оно делится на 3. МОУ СОШ № 19 "Выбор" г. Находка
15 слайд
Графическая иллюстрация дизъюнкции с помощью диаграмм Эйлера - Венна: A - множество отличников в классе; B - множество спортсменов в классе; A B - множество учеников класса, которые являются отличниками или спортсменами. МОУ СОШ № 19 "Выбор" г. Находка B А МОУ СОШ № 19 "Выбор" г. Находка
Класс: 9
Назад
Вперёд
Внимание! Предварительный просмотр слайдов используется исключительно в ознакомительных целях и может не давать представления о всех возможностях презентации. Если вас заинтересовала данная работа, пожалуйста, загрузите полную версию.
Проверка домашнего задания на уроке осуществляется с помощью авторского теста, разработанного в тестирующей оболочке MyTest (Приложение 1 ), где проверка теста происходит автоматически (результаты теста сразу отправляются на компьютер учителя).
В изучении новой темы дается определение простых и сложных высказываний, а также рассматриваются логические операции Объяснение нового материала осуществляется с помощью интерактивной презентации. В целях закрепления умений и навыков учащимся предлагаются карточки для заполнения (Приложение 2 ).
В конце урока ученикам предлагается оценить степень удовлетворённости процессом и результатом своей работы и выдаются карточки для выполнения домашнего задания (Приложение 3 ).
Учебник под редакцией профессора Н.В. Макаровой «Информатика и ИКТ».
Цель :
Тип урока : комбинированный урок.
Формы работы: фронтальная.
Наглядность и оборудование:
План урока:
Цель: подготовить учащихся к уроку.
Объявляется тема урока. Перед учащимися ставится задача: показать, как они научились решать задачи по теме.
Выполнение в тестирующей оболочке MyTest теста на тему «Основные понятия алгебры логики».(приложение1.mtf)
3. Изучение нового материала.
Вопросы для изучения:
При объяснении нового материала используется компьютерная презентация (презентация. PPT)
Логические выражения могут быть простыми и сложными.
Простое логическое выражение состоит из одного высказывания и не содержит логические операции. В простом логическом выражении возможно только два результата - либо «истина», либо «ложь».
Сложное логическое выражение содержит высказывания, объединенные логическими операциями. По аналогии с понятием функции в алгебре сложное логическое выражение содержит аргументы, которыми являются высказывания.
По ходу объяснения нового материала ученики заполняют в тетради таблицу следующего вида.
Название логической операции | Обозначение логической операции | Результат выполнения логической операции | Таблица истинности | Примеры |
Отрицание | ||||
Дизъюнкция | ||||
Конъюнкция | ||||
Импликация | ||||
Эквиваленция |
В качестве основных логических операций в сложных логических выражениях используются следующие:
Операция НЕ - логическое отрицание (инверсия)
Логическая операция НЕ применяется к одному аргументу, в качестве которого может быть и простое, и сложное логическое выражение. Результатом операции НЕ является следующее:
Для операции отрицания НЕ приняты следующие условные обозначения: НЕ, ‾, ˥ not А. Результат операции отрицания НЕ определяется следующей таблицей истинности.
Операция ИЛИ - логическое сложение (дизъюнкция, объединение)
Логическая операция ИЛИ выполняет функцию объединения двух высказываний, в качестве которых может быть и простое, и сложное логическое выражение. Высказывания, являющиеся исходными для логической операции, называют аргументами.
Результатом операции ИЛИ является выражение, которое будет истинным тогда и только тогда, когда истинно будет хотя бы одно из исходных выражений.
Результат операции ИЛИ определяется следующей таблицей истинности:
А | В | A v В |
0 | 0 | 0 |
0 | 1 | 1 |
1 | 0 | 1 |
1 | 1 | 1 |
Применяемые обозначения: А или В; A v В; А ог В. При выполнении сложных логических преобразований для наглядности условимся пользоваться обозначением А + В, где А, В - аргументы (исходные высказывания).
Операция И - логическое умножение (конъюнкция)
Логическая операция И выполняет функцию пересечения двух высказываний (аргументов), в качестве которых может быть и простое, и сложное логическое выражение.
Результатом операции И является выражение, которое будет истинным тогда и только тогда, когда истинны оба исходных выражения.
Результат операции И определяется следующей таблицей истинности:
А | В | А^ В |
0 | 0 | 0 |
0 | 1 | 0 |
1 | 0 | 0 |
1 | 1 | 1 |
Применяемые обозначения: А и В; А ^ В; А & В; A and В.
Условимся пользоваться при выполнении сложных логических преобразований обозначением A-В, где А, В - аргументы (исходные высказывания).
Операция «ЕСЛИ - TO » - логическое следование (импликация)
Эта операция связывает два простых логических выражения, из которых первое является условием, а второе - следствием из этого условия.
Применяемые обозначения:
если А, то В; А влечет В; if A then В; А-»В.
Результат операции следования (импликации) ложен, только тогда, когда предпосылка А истинна, а заключение В (следствие) ложно.
Таблица истинности:
Операция «А тогда и только тогда, когда В» (эквивалентность, равнозначность)
Применяемое обозначение: А ~ В.
Результат операции эквивалентность истинен только тогда, когда А и В одновременно истинны или одновременно ложны.
Таблица истинности:
А | В | А ~ В |
0 | 0 | 1 |
0 | 1 | 1 |
1 | 0 | 0 |
1 | 1 | 1 |
Данный материал раздается каждому ученику. (приложение 2)
Скажите был ли сегодняшний урок для вас познавательный?
Что больше всего запомнилось из урока?
Обучающая презентация Логические операции над высказываниями. Над высказываниями можно выполнять логические операции: отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция.
1 слайд — Заголовок. Логические операции над высказываниями.
2 слайд
— Логическая операция.
Логическая операция
– это способ построения сложного высказывания из данных высказываний, при котором значение истинности сложного высказывания полностью определяется значениями истинности исходных высказываний.
Во избежание неодинаковой трактовки смысла каждой из связок определим этот смысл следующими таблицами.
3 слайд
— Логическое отрицание.
Логическое отрицание (инверсия)
образуется из высказывания с помощью добавления частицы «не»
к сказуемому или использовании оборота речи «неверно что…»
.
Обозначения логического отрицания
НЕ А
, ¬А
, Ā
, NOT А
, А
’
.
4 слайд — Логическая связка ¬.
Из таблицы следует, что отрицание высказывания истинно, когда высказывание ложно, и ложно, когда высказывание истинно.
5 слайд
— Логическое умножение.
Логическое умножение (конъюнкция)
образуется соединением высказываний в одно с помощью союза «и»
.
Обозначение логического умножения
А
и В
, А
/\ В
, А
& В
, A
В
, А
AND В
.
6 слайд — Логическая связка &
Из таблицы следует, что конъюнкция двух высказываний истинна тогда и только тогда, когда оба высказывания истинны, и ложна тогда и только тогда, когда ложно хотя бы одно из высказываний.
7 слайд
— Логическое сложение.
Логическое сложение (дизъюнкция)
образуется соединением двух высказываний в одно с помощью союза «или»
.
Обозначения логического сложения
А
или В
, А
v В
, А
| В
, А
+ В
, А
OR В
.
8 слайд — Логическая связка v.
Из таблицы следует, что дизъюнкция двух высказываний истинна тогда и только тогда, когда хотя бы одно из высказываний истинно, и ложна тогда и только тогда, когда ложны оба высказывания.
9 слайд
— Логическое следование.
Логическое следование (импликация)
образуется соединением двух высказываний в одно с помощью оборота речи «если …, то …»
.
А
→ В
, А
⇒ В
,
Говорят: если А, то В; А влечет В, В следует из А
10 слайд — Логическая связка → .
Из таблицы следует, что импликация двух высказываний ложна тогда и только тогда, когда из истинного высказывания следует ложное (когда истинная посылка влечет ложное заключение).
11 слайд
— Логическое равенство.
Логическое равенство (эквиваленция)
образуется соединением двух высказываний с помощью оборота речи «тогда и только тогда, когда»
.
Обозначения логического следования
А
~ В
, А
↔ В
, А
≡ В
.
Говорят: А тогда и только тогда, когда В.
А равносильно В
12 слайд — Логическая связка ~.
Из таблицы следует, что импликация двух высказываний истинна тогда и только тогда, когда оба исходных высказывания одновременно истинны или одновременно ложны.
Скачать (63 КБ, pptx): презентация