Слайд 1Основы алгебры высказываний. Логические операции
Урок-путешествие
Слайд 2Цели урока
сформировать представление об алгебре высказываний;
рассмотреть основные логические операции и
сформировать первичные навыки их применения.
развивать логическое мышление, память, внимание;
воспитывать интерес
к предмету, настойчивость, целеустремленность;
Слайд 3Карта «Мир логики»
Страна «Мышления»
Острова «Логические операции»
Страна «Знатоков»
Слайд 41. Что такое логика?
Наука о суждениях и рассуждениях.
Наука, изучающая
способы обработки информации.
Наука о формах и законах человеческого мышления.
Наука, изучающая
логические основы компьютера.
Слайд 52. Повествовательное предложение, в котором что-то утверждается или отрицается называется:
Высказывание.
Вопрос.
Выражение.
Умозаключение.
Слайд 63. Фраза "Не все то золото, что блестит" является
Высказыванием.
Умозаключением.
Утверждением.
Понятием.
Слайд 74. Какое из приведенных высказываний является общим?
Кошка является домашним
животным.
Некоторые медведи бурые.
Все ананасы приятны на вкус.
Электрон элементарная частица.
Слайд 85. Форма мышления, фиксирующая основные, существенные признаки объекта, называется
Высказывание.
Умозаключение.
Понятие.
Определение.
Слайд 96. Из приведенных ниже высказываний определите истинное.
Все ребята умеют
плавать.
Невозможно создать вечный двигатель.
Некоторые кошки не любят рыбу.
Человек все может.
Слайд 11Карта «Мир логики»
Страна «Мышления»
Острова «Логические операции»
Страна «Знатоков»
О. Коньюнкция
Слайд 12Остров «Коньюнкция»
Логическое операция конъюнкция (логическое умножение ):
в естественном языке
соответствует союзу и;
в алгебре высказываний обозначение & (АВ, А&В).
Слайд 13Объединение двух (или нескольких) высказываний в одно с помощью союза
«и» называется операцией логического умножения или конъюнкцией.
Пример:
А –
{Иванов - студент}
В – {Иванов - отличник}
А&В= {Иванов – студент и отличник}
Составное высказывание, образованное в результате конъюнкции, истинно тогда и только тогда, когда истинны входящие в него простые высказывания.
Остров «Коньюнкция»
Слайд 14Таблица истинности:
Остров «Коньюнкция»
Мнемоническое правило: конъюнкция – это логическое умножение, равенства
0·0=0; 0·1=0; 1·0=0; 1·1=1, верные для обычного умножения, верны и
для операции конъюнкции.
Слайд 15Карта «Мир логики»
Страна «Мышления»
Острова «Логические операции»
Страна «Знатоков»
о. Коньюнкция
о. Дизъюнкция
Слайд 16Остров «Дизъюнкция»
Логическое операция дизъюнкция (логическое сложение):
в естественном языке соответствует
союзу или;
в алгебре высказываний обозначение (АВ);
Слайд 17Объединение двух (или нескольких) высказываний с помощью союза «или» называется
операцией логического сложения или дизъюнкцией.
Пример:
А - {на автостоянке стоит
«Мерседес»}
В - {на автостоянке стоят «Жигули»}
(АВ) ={на стоянке стоит «Мерседес» или на стоянке стоят «Жигули»}
Составное высказывание, образованное в результате дизъюнкции, истинно тогда, когда истинно хотя бы одно из входящих в него простых высказываний.
Остров «Дизъюнкция»
Слайд 18Таблица истинности:
Остров «Дизъюнкция»
Мнемоническое правило: дизъюнкция – это логическое сложение и
легко заметить, что равенства 0+0=0; 0+1=1; 1+0=1; верные для обычного
сложения, верны и для операции дизъюнкции, но 11=1.
Слайд 19Карта «Мир логики»
Страна «Мышления»
Острова «Логические операции»
Страна «Знатоков»
О. Коньюнкция
О. Дизъюнкция
о. Инверсия
Слайд 20Остров «Инверсия»
Логическое операция – инверсия (отрицание).
в естественном языке соответствует
словам неверно, что … и частице не;
в алгебре высказываний обозначение.
Слайд 21Присоединение частицы «не» к высказыванию называется операцией логического отрицания или
инверсией. Инверсия делает истинное высказывание ложным и наоборот.
Остров «Инверсия»
Слайд 22Таблица истинности:
Остров «Инверсия»
Мнемоническое правило: слово «инверсия» означает, что белое меняется
на чёрное, добро на зло, красивое на безобразное, истина на
ложь, ложь на истину, ноль на один, один на ноль.
Слайд 23Карта «Мир логики»
Страна «Мышления»
Острова «Логические операции»
Страна «Знатоков»
О. Коньюнкция
О. Дизъюнкция
о. Инверсия
о.
Импликация
Слайд 24остров «Импликация»
Логическое операция – импликация (логическое следование).
в естественном языке соответствует
обороту если …, то …;
обозначения импликации А В, А
В.
Слайд 25Импликация - логическое операция, ставящая в соответствие каждым двум простым
высказываниям, третье новое высказывание, являющееся ложным тогда и только тогда,
когда первое высказывание истинно, а второе высказывание ложно.
Пример:
А – {на улице дождь},
В – {асфальт мокрый},
А В ={если на улице дождь, то асфальт мокрый}.
остров «Импликация»
Слайд 26Таблица истинности:
остров «Импликация»
Слайд 27Карта «Мир логики»
Страна «Мышления»
Острова «Логические операции»
Страна «Знатоков»
О. Коньюнкция
О. Дизъюнкция
о. Инверсия
о.
Импликация
о. Эквивалентность
Слайд 28остров «Эквивалентность»
Логическая операция – эквивалентность (равнозначность).
в естественном языке
соответствует оборотам речи тогда и только; в том и только
в том случае;
обозначение: А В, А В.
Слайд 29Эквивалентность - логическое операция, ставящая в соответствие каждым 2 высказываниям,
третье новое высказывание, являющееся истинным тогда и только тогда, когда
оба исходных высказывания одновременно истинны или одновременно ложны.
Пример:
А – {Петя выучит уроки},
В – {Рак на горе свистнет},
А В = {Петя выучит уроки тогда и только тогда, когда рак на горе свиснет}.
остров «Эквивалентность»
Слайд 30Таблица истинности:
остров «Эквивалентность»
Слайд 31При вычислении значения логического выражения (формулы) логические операции вычисляются в
определенном порядке, согласно их приоритету.
инверсия
конъюнкция
дизъюнкция
импликация и эквивалентность
Слайд 32Пример: определить истинность составного высказывания: , состоящего из простых высказываний:
А
= {Принтер – устройство вывода информации},
В = {Процессор – устройство
хранения информации},
С = {Монитор – устройство вывода информации},
D = {Клавиатура – устройство обработки информации}.
Сначала на основании знания устройства компьютера устанавливаем истинность простых высказываний: А = 1, B = 0, C = 1, D = 0.
Определим теперь истинность составного высказывания, используя таблицы истинности логических операций:
Составное высказывание ложно.
Слайд 33Карта «Мир логики»
Страна «Мышления»
Острова «Логические операции»
Страна «Знатоков»
О. Коньюнкция
О. Дизъюнкция
о. Инверсия
о.
Импликация
о. Эквивалентность
Слайд 34Страна «Знатоков»
1. Определить логическое значение следующих высказываний:
Семь простое число и
5 – четное
7 – четное или 5 – нечетное
23 =
8 или 33 = 27
Слайд 35Страна «Знатоков»
2. Среди следующих высказываний укажите составные, выделите в них
простые, обозначьте их каждое из них буквой. Запишите с помощью
логических операций каждое составное высказывание.
Число 456 трехзначное и четное.
Неверно, что Солнце движется вокруг Земли.
Слайд 36Страна «Знатоков»
4. Из каждых трех выберите пару высказываний, являющихся отрицаниями
друг друга.
“Луна – спутник Земли”, “Неверно, что Луна спутник
Земли”, “Неверно, что Луна не является спутником Земли”;
“2007 < 2008”, “2007 > 2008”, “2007 ? 2008”;
Слайд 37Страна «Знатоков»
5. Найти значения выражения:
(1 1) (1 0);
Ответ:
1
((1 0) 1) 1;
Ответ: 1
(0 &
1) & 1);
Ответ: 0
Слайд 38Страна «Знатоков»
6. Определить истинность составного высказывания состоящего из простых высказываний:
А = {Ваш приезд необходим},
В = {Ваш приезд желателен},
Ответ: Е
= {Ваш приезд не является ни необходимым, ни желательным}.
А = {поиски врага длились три часа},
В = {врага нашли},
С = {враг себя выдал}
Ответ: Е = {Поиски врага длились уже три часа, но результатов не было, притаившийся враг ничем себя не выдавал}
Слайд 39Домашнее задание
1. Даны простые высказывания:
А={Принтер- устройство ввода информации},
В={Процессор- устройство обработки
информации},
С= {Монитор- устройство хранения информации},
D={Клавиатура- устройство ввода информации}.
Определите истинность составных
высказываний:
А) (А&В)&(С D); Б) (А& В) (В& С); В) (А В) (С& D); Г) .
2. Сформулировать два простых высказывания, построить из них сложные высказывания, используя логические связки “И”, “ИЛИ”. Записать логические высказывания с помощью логических операций и определите их истинность.