Меню
Разработки
Разработки  /  Информатика  /  Презентации  /  8 класс  /  Презентация "Логические операции над высказываниями"

Презентация "Логические операции над высказываниями"

Обучающая презентация "Логические операции над высказываниями" для использования на уроках Информатики или самомтоятельного изучения темы "Элементы алгебры логики" 8 класс ФГОС (9 класс ФК ГОС).

21.12.2016

Содержимое разработки

ЛОГИЧЕСКИЕ ОПЕРАЦИИ НАД ВЫСКАЗЫВАНИЯМИ ПОСТРОЕНИЕ АЛГЕБРЫ ВЫСКАЗЫВАНИЙ

ЛОГИЧЕСКИЕ ОПЕРАЦИИ НАД ВЫСКАЗЫВАНИЯМИ

ПОСТРОЕНИЕ АЛГЕБРЫ ВЫСКАЗЫВАНИЙ

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

Логическая операция

Логическая операция – это способ построения сложного высказывания из данных высказываний, при котором значение истинности сложного высказывания полностью определяется значениями истинности исходных высказываний.

Во избежание неодинаковой трактовки смысла каждой из связок определим этот смысл следующими таблицами.

Логическое отрицание Логическое отрицание (инверсия) образуется из высказывания с помощью добавления частицы «не» к сказуемому или использовании оборота речи «неверно что…» . Обозначения логического отрицания НЕ А , ¬ А , Ā , NOT А , А ’ .

Логическое отрицание

Логическое отрицание (инверсия) образуется из высказывания с помощью добавления частицы «не» к сказуемому или использовании оборота речи «неверно что…» .

Обозначения логического отрицания

НЕ А , ¬ А , Ā , NOT А , А .

Логическая связка ¬ А ¬А 1 0 0 1 Из таблицы следует, что отрицание высказывания истинно, когда высказывание ложно, и ложно, когда высказывание истинно.

Логическая связка ¬

А

¬А

1

0

0

1

Из таблицы следует, что отрицание высказывания истинно, когда высказывание ложно, и ложно, когда высказывание истинно.

Логическое умножение Логическое умножение (конъюнкция) образуется соединением высказываний в одно с помощью союза «и» . Обозначение логического умножения А и В , А Ù  В , А & В , A  •  В , А AND В .

Логическое умножение

Логическое умножение (конъюнкция) образуется соединением высказываний в одно с помощью союза «и» .

Обозначение логического умножения

А и В , А Ù В , А & В , AВ , А AND В .

Логическая связка & А В 1 1 А & В 1 0 1 0 0 1 0 0 0 0 Из таблицы следует, что конъюнкция двух высказываний истинна тогда и только тогда, когда оба высказывания истинны, и ложна тогда и только тогда, когда ложно хотя бы одно из высказываний.

Логическая связка &

А

В

1

1

А & В

1

0

1

0

0

1

0

0

0

0

Из таблицы следует, что конъюнкция двух высказываний истинна тогда и только тогда, когда оба высказывания истинны, и ложна тогда и только тогда, когда ложно хотя бы одно из высказываний.

Логическое сложение Логическое сложение (дизъюнкция) образуется соединением двух высказываний в одно с помощью союза «или» . Обозначения логического сложения А или В , А v В , А | В , А + В , А OR В .

Логическое сложение

Логическое сложение (дизъюнкция) образуется соединением двух высказываний в одно с помощью союза «или» .

Обозначения логического сложения

А или В , А v В , А | В , А + В , А OR В .

Логическая связка v А В 1 1 А v В 1 0 1 0 1 1 0 0 1 0 Из таблицы следует, что дизъюнкция двух высказываний истинна тогда и только тогда, когда хотя бы одно из высказываний истинно, и ложна тогда и только тогда, когда ложны оба высказывания.

Логическая связка v

А

В

1

1

А v В

1

0

1

0

1

1

0

0

1

0

Из таблицы следует, что дизъюнкция двух высказываний истинна тогда и только тогда, когда хотя бы одно из высказываний истинно, и ложна тогда и только тогда, когда ложны оба высказывания.

Логическое следование Логическое следование (импликация) образуется соединением двух высказываний в одно с помощью оборота речи «если …, то …» . Обозначения логического следования А  ®  В , А  Þ  В , Говорят: если А , то В ; А влечет В , В следует из А

Логическое следование

Логическое следование (импликация) образуется соединением двух высказываний в одно с помощью оборота речи «если …, то …» .

Обозначения логического следования

А ® В , А Þ В ,

Говорят: если А , то В ; А влечет В , В следует из А

Логическая связка ® А В 1 1 А ® В 1 0 1 0 0 1 0 0 1 1 Из таблицы следует, что импликация двух высказываний ложна тогда и только тогда, когда из истинного высказывания следует ложное (когда истинная посылка влечет ложное заключение).

Логическая связка ®

А

В

1

1

А ® В

1

0

1

0

0

1

0

0

1

1

Из таблицы следует, что импликация двух высказываний ложна тогда и только тогда, когда из истинного высказывания следует ложное (когда истинная посылка влечет ложное заключение).

Логическое равенство Логическое равенство (эквиваленция) образуется соединением двух высказываний с помощью оборота речи «тогда и только тогда, когда» . Обозначения логического следования А ~ В, А Û В, А « В, А º В. Говорят: А тогда и только тогда, когда В . А равносильно В

Логическое равенство

Логическое равенство (эквиваленция) образуется соединением двух высказываний с помощью оборота речи «тогда и только тогда, когда» .

Обозначения логического следования

А ~ В, А Û В, А « В, А º В.

Говорят: А тогда и только тогда, когда В .

А равносильно В

Логическая связка ~ А В 1 1 А ~ В 1 0 1 0 0 1 0 0 0 1 Из таблицы следует, что импликация двух высказываний истинна тогда и только тогда, когда оба исходных высказывания одновременно истинны или одновременно ложны.

Логическая связка ~

А

В

1

1

А ~ В

1

0

1

0

0

1

0

0

0

1

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

-60%
Курсы повышения квалификации

Система работы с высокомотивированными и одаренными учащимися по учебному предмету

Продолжительность 72 часа
Документ: Удостоверение о повышении квалификации
4000 руб.
1600 руб.
Подробнее
Скачать разработку
Сохранить у себя:
Презентация "Логические операции над высказываниями" (63.08 KB)

Комментарии 0

Чтобы добавить комментарий зарегистрируйтесь или на сайт