Логическое сложение (дизъюнкция) Родыгина Татьяна Михайловна, учитель информатики и ИКТ МКОУ СОШ № 2 г. Омутнинска
ОПРЕДЕЛЕНИЕ: Объединение двух (или нескольких высказываний) с помощью союза «или» называется операцией логического сложения или дизъюнкцией. Обозначение дизъюнкции: А или В A OR B A B
Примеры: За завтраком я выпиваю чашку кофе или чая. А=«За завтраком я выпиваю чашку кофе» В=«За завтраком я выпиваю чашку чая» Петя читает книгу или смотрит телевизор. А=«Петя читает книгу» В=«Петя смотрит телевизор» В судебном заседании прокурор либо поддерживает обвинение, либо отказывается от него. А=«В судебном заседании прокурор поддерживает обвинение» В=«В судебном заседании прокурор отказывается от обвинения» Запись приведённых сложных высказываний на языке логики: А В
Записать сложные высказывания на языке логики: Или бури завываньем Ты, мой друг, утомлена Или дремлешь под жужжанье Своего веретена… А.С.Пушкин А= «Бури завываньем ты, мой друг, утомлена» В= «Дремлешь под жужжанье своего веретена…» А В
Записать сложные высказывания на языке логики: Иль чума меня подцепит, Иль мороз окостенит, Иль мне в лоб шлагбаум влепит Непроворный инвалид. А.С.Пушкин А= «Чума меня подцепит» В= «Мороз окостенит» С= «Мне в лоб шлагбаум влепит непроворный инвалид» А В С
Союз «ИЛИ» в физике Ключ 1 замкнут или замкнут ключ 2
Пример1. Кофе или молоко? или
Составное высказывание, образованное в результате логического сложения (дизъюнкции), истинно тогда и только тогда, когда истинно хотя бы одно из входящих в него простых высказываний. Определить истинность сложного высказывания: В траве сидел кузнечик или зелёненький он был. 20 или 5
Таблица истинности Круги Эйлера - Венна A B А В A B A B 1 1 1 1 0 1 0 1 1 0 0 0
Пример 2. Определить множество точек координатной плоскости, удовлетворяющих условию: x ≥ 2 или y < 0 x y 0 2 x ≥ 2 , y < 0 (истина, истина) x < 2 , y < 0 (ложь, истина) x ≥ 2 , y ≥ 0 (истина, ложь)
Строгая (разделительная) дизъюнкция – логическая операция, ставящая в соответствие двум простым высказываниям новое высказывание, являющееся истинным тогда и только тогда, когда только одно из двух высказываний является истинным. Обозначение: А В
Пример р=«Кошка охотится за мышкой» q=«Кошка сидит на диване» p q Кошка охотится за мышкой или сидит на диване
Таблица истинности Круги Эйлера - Венна A B А В A B A B 1 1 0 1 0 1 0 1 1 0 0 0
Определить истинность сложного высказывания А В: Петя катается на коньках или на лыжах. Зимой дети катаются на коньках или на лыжах. В сложном высказывании использована связка «или». Какая это связка: нестрогая или строгая? В театре мне предложили взять билеты в партер или в бельэтаж. Я буду учить уроки или слушать музыку.
Таким образом, дизъюнкция СТРОГАЯ А В НЕСТРОГАЯ А В ЗИМА ИЛИ ЛЕТО КОФЕ ИЛИ МОЛОКО A B A B 1 1 1 1 0 1 0 1 1 0 0 0 A B A B 1 1 0 1 0 1 0 1 1 0 0 0