Обучающая презентация Логические операции над высказываниями. Над высказываниями можно выполнять логические операции: отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция.
1 слайд — Заголовок. Логические операции над высказываниями.
2 слайд
— Логическая операция.
Логическая операция
– это способ построения сложного высказывания из данных высказываний, при котором значение истинности сложного высказывания полностью определяется значениями истинности исходных высказываний.
Во избежание неодинаковой трактовки смысла каждой из связок определим этот смысл следующими таблицами.
3 слайд
— Логическое отрицание.
Логическое отрицание (инверсия)
образуется из высказывания с помощью добавления частицы «не»
к сказуемому или использовании оборота речи «неверно что…»
.
Обозначения логического отрицания
НЕ А
, ¬А
, Ā
, NOT А
, А
’
.
4 слайд — Логическая связка ¬.
Из таблицы следует, что отрицание высказывания истинно, когда высказывание ложно, и ложно, когда высказывание истинно.
5 слайд
— Логическое умножение.
Логическое умножение (конъюнкция)
образуется соединением высказываний в одно с помощью союза «и»
.
Обозначение логического умножения
А
и В
, А
/\ В
, А
& В
, A
В
, А
AND В
.
6 слайд — Логическая связка &
Из таблицы следует, что конъюнкция двух высказываний истинна тогда и только тогда, когда оба высказывания истинны, и ложна тогда и только тогда, когда ложно хотя бы одно из высказываний.
7 слайд
— Логическое сложение.
Логическое сложение (дизъюнкция)
образуется соединением двух высказываний в одно с помощью союза «или»
.
Обозначения логического сложения
А
или В
, А
v В
, А
| В
, А
+ В
, А
OR В
.
8 слайд — Логическая связка v.
Из таблицы следует, что дизъюнкция двух высказываний истинна тогда и только тогда, когда хотя бы одно из высказываний истинно, и ложна тогда и только тогда, когда ложны оба высказывания.
9 слайд
— Логическое следование.
Логическое следование (импликация)
образуется соединением двух высказываний в одно с помощью оборота речи «если …, то …»
.
А
→ В
, А
⇒ В
,
Говорят: если А, то В; А влечет В, В следует из А
10 слайд — Логическая связка → .
Из таблицы следует, что импликация двух высказываний ложна тогда и только тогда, когда из истинного высказывания следует ложное (когда истинная посылка влечет ложное заключение).
11 слайд
— Логическое равенство.
Логическое равенство (эквиваленция)
образуется соединением двух высказываний с помощью оборота речи «тогда и только тогда, когда»
.
Обозначения логического следования
А
~ В
, А
↔ В
, А
≡ В
.
Говорят: А тогда и только тогда, когда В.
А равносильно В
12 слайд — Логическая связка ~.
Из таблицы следует, что импликация двух высказываний истинна тогда и только тогда, когда оба исходных высказывания одновременно истинны или одновременно ложны.
Скачать (63 КБ, pptx): презентация
Презентация на тему "Алгебра высказываний" по информатике в формате powerpoint. В данной презентации для школьников 10-11 класса рассказывается о логических операциях и логических переменных, об основных законах алгебры высказываний. Автор презентации: Сергеев Евгений Викторович.
Алгебра высказываний была разработана для того, чтобы определять истинность или ложность составных высказываний, не вникая в их содержание
Эквивалентность – это логическая операция, объединяющая два простых высказывания в одно составное и которое является истиннымтогда и только тогда, когдаоба исходных высказывания одновременно либо истинны, либо ложны.
Чтобы пользоваться предварительным просмотром презентаций создайте себе аккаунт (учетную запись) Google и войдите в него: https://accounts.google.com
Логические операции Иванова Юлия
Логическая операция – способ построения сложного высказывания из данных высказываний, при котором значение истинности сложного высказывания полностью определяется значениями истинности исходных высказываний.
Инверсия (логическое отрицание) Инверсия логической переменной истина, если переменная ложна, и, наоборот, инверсия ложна, если переменная истинна. Обозначение:
А 1 0 0 1 Таблица истинности
Конъюнкция (логическое умножение) Конъюнкция двух логических переменных истинна тогда и только тогда, когда оба высказывания, истинны. Обозначение:
Таблица истинности А B 1 1 1 1 0 0 0 1 0 0 0 0
Дизъюнкция (логическое сложение) Дизъюнкция двух логических переменных ложна тогда и только тогда, когда оба высказывания ложны. Обозначение:
Таблица истинности А B 1 1 1 1 0 1 0 1 1 0 0 0
Импликация (логическое следование) Импликация двух логических переменных ложна тогда и только тогда, когда из истинного основания следует ложное следствие. Обозначение: А - условие В - следствие
Эквивалентность (логическое равенство) Эквивалентность двух логических переменных истинна тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны. Обозначение:
Таблица истинности А B 1 1 1 1 0 0 0 1 0 0 0 1
Приоритет выполнения логических операций При вычислении значения логического выражения (формулы) логические операции вычисляются в определенном порядке, согласно их приоритету: 1.инверсия, 2.конъюнкция, 3.дизъюнкция, 4.импликация и эквивалентность. Операции одного приоритета выполняются слева направо. Для изменения порядка действий используются скобки. Пример
Пример Дана формула Определите порядок вычисления. Порядок вычисления: Инверсия – Конъюнкция – Дизъюнкция – Импликация – Эквивалентность –
Логические выражения и базовые логические операции. Таблицы истинности.
В данной разработке приведены план-конспект урока по теме: "Логические выражения и базовые логические операции. Таблицы истинности". Презентация с дополнительными файлами позволяет сэкономить вр...
Элементы математической логики. Логические операции. Конструирование логических выражений с использованием отношений и логических операций
При обучении в школе важное значение имеет предмет "Информатика и ИКТ». Один из разделов теоретического курса – логика – рассматривает законы и правила логического мышления, которые являют...
Презентация к уроку информатики "Логические операции и таблицы истинности. Решение задач."
Презентация к уроку информатики «Логические операции и таблицы истинности»Данная презентация состоит из разделов:Логические операции, примеры;Порядок выполнения логических операций;Примеры решен...
Cлайд 1
Основные логические операции Сапожникова Ольга Германовна – учитель информатики МОУ СОШ с УИОП г. Котельнича Кировской областиCлайд 2
Cлайд 3
ЛОГИЧЕСКОЕ УМНОЖЕНИЕ «Сегодня светит солнце и идет дождь» А – «Сегодня светит солнце» В – «Сегодня идет дождь» Логическое умножение (конъюнкция) образуется соединением двух (или более) высказываний в одно с помощью союза «и».
Cлайд 4
ЛОГИЧЕСКОЕ УМНОЖЕНИЕ (КОНЪЮНКЦИЯ) Обозначение: &, ^, *. Союз в естественном языке: и. А ^ B – «Сегодня светит солнце и идет дождь» 0 0 0 1 Таблица истинности Конъюнкция двух высказываний истинна тогда и только тогда, когда оба высказывания истинны, и ложна, когда хотя бы одно из высказываний ложно. Ложь Ложь Ложь Истина А В А ^ B 0 1 1 0 0 0 1 1 Смысл высказываний А и В для указанных значений А ^ B Солнца нет Дождь идет Солнце светит Дождя нет Солнца нет Дождя нет Солнце светит Дождь идет
Cлайд 5
Cлайд 6
ЛОГИЧЕСКОЕ СЛОЖЕНИЕ «На стоянка находятся «Мерседес» или «Жигули» А – На стоянке находится «Мерседес» В – На стоянке находится «Жигули» Логическое сложение (дизъюнкция) образуется соединением двух (или более) высказываний в одно с помощью союза «или».
Cлайд 7
ЛОГИЧЕСКОЕ СЛОЖЕНИЕ (ДИЗЪЮНКЦИЯ) Обозначение: +, V. Союз в естественном языке: или. А V B – На стоянке находится «Мерседес» или «Жигули» Дизъюнкция двух высказываний ложна тогда и только тогда, когда оба высказывания ложны, и истинна, когда хотя бы одно из высказываний истинно. 1 1 0 1 Истина Истина Ложь Истина Таблица истинности А В А V B 0 1 1 0 0 0 1 1 Смысл высказываний А и В для указанных значений А V B «Мерседеса» нет «Жигули» есть «Мерседес» есть «Жигулей» нет «Мерседеса» нет «Жигулей» нет «Мерседес» есть «Жигули» есть
Cлайд 8
Cлайд 9
ЛОГИЧЕСКОЕ ОТРИЦАНИЕ А – «Сегодня светит солнце» В – «Сегодня не светит солнце» Логическое отрицание (инверсия) образуется из высказывания с помощью добавления частицы «не» к сказуемому или использования оборота речи «неверно, что…». А – «У данного компьютера жидкокристаллический монитор» В – «Неверно, что у данного компьютера жидкокристаллический монитор»
Cлайд 10
ЛОГИЧЕСКОЕ ОТРИЦАНИЕ (ИНВЕРСИЯ) Истина Ложь Обозначение: ¬. Союз в естественном языке: не; неверно, что… А – «Сегодня светит солнце» ¬ А – «Неверно, что сегодня светит солнце» или «Сегодня не светит солнце» 1 0 Инверсия высказывания истинна, если высказывание ложно, и ложна, когда высказывание истинно. Таблица истинности Смысл высказывания А Значение высказывания: «Сегодня не светит солнце» Солнца нет Солнце есть А ¬ А 0 1
Cлайд 11
ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ Обозначение: →. Союз в естественном языке: если…, то…. Если на улице, то асфальт мокрый. Если хорошо горит красный свет на светофоре, то стою и жду зеленый. Если прямо пойдешь, то коня потеряешь. Если коровы летают, то дважды два – пять. Логическое следование (импликация) образуется соединением двух высказываний в одно с помощью оборота речи «если…, то…».
Cлайд 12
1 0 1 1 Импликация двух высказываний ложна тогда и только тогда, когда из истинного высказывания следует ложное. Истина Ложь Истина Истина ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ (ИМПЛИКАЦИЯ) А – «На улице дождь» В – «Асфальт мокрый» А → B – «Если на улице дождь, то асфальт мокрый» Таблица истинности А В А → B 0 1 1 0 0 0 1 1 Смысл высказываний А и В для указанных значений А → B Дождя нет Асфальт мокрый Дождь идет Асфальт сухой Дождя нет Асфальт сухой Дождь идет Асфальт мокрый
