Алгебра логики
<<  Основы алгебры логики Алгебра логики  >>
Тема: Основные понятия алгебры логики
Тема: Основные понятия алгебры логики
Алгебра – это раздел математики, предназначенный для описания действий
Алгебра – это раздел математики, предназначенный для описания действий
Логика (древнегреч
Логика (древнегреч
Основы алгебры логики (булева алгебра) были положены английским
Основы алгебры логики (булева алгебра) были положены английским
Высказывание (суждение) - это повествовательное предложение, в котором
Высказывание (суждение) - это повествовательное предложение, в котором
Определите какие из следующих выражений являются высказываниями
Определите какие из следующих выражений являются высказываниями
Определите истинность высказываний
Определите истинность высказываний
В алгебре логики высказывания обозначаются именами логических
В алгебре логики высказывания обозначаются именами логических
Логические выражения бывают простые или сложные
Логические выражения бывают простые или сложные
Сложное логическое высказывание строится из простых с помощью связок
Сложное логическое высказывание строится из простых с помощью связок
Логические операции
Логические операции
А – У меня есть знания для сдачи зачета
А – У меня есть знания для сдачи зачета
Вывод: Логическая операция конъюнкция истинна только в том случае,
Вывод: Логическая операция конъюнкция истинна только в том случае,
Все операции алгебры логики определяются таблицами истинности значений
Все операции алгебры логики определяются таблицами истинности значений
Таблица истинности
Таблица истинности
Логические операции
Логические операции
A - Летом я поеду в лагерь B - Летом я поеду к бабушке
A - Летом я поеду в лагерь B - Летом я поеду к бабушке
Вывод: Логическая операция дизъюнкция ложна, если оба простых
Вывод: Логическая операция дизъюнкция ложна, если оба простых
Таблица истинности
Таблица истинности
Логические операции
Логические операции
А - Земля вращается вокруг Солнца – истинно ¬А - Земля не вращается
А - Земля вращается вокруг Солнца – истинно ¬А - Земля не вращается
Вывод: если исходное выражение истинно, то результат его отрицания
Вывод: если исходное выражение истинно, то результат его отрицания
Таблица истинности
Таблица истинности
Логические операции
Логические операции
А – идёт дождь В – на улице сыро Если идёт дождь, то на улице сыро
А – идёт дождь В – на улице сыро Если идёт дождь, то на улице сыро
Вывод: Результат операции следования (импликации) ложен только тогда,
Вывод: Результат операции следования (импликации) ложен только тогда,
Таблица истинности
Таблица истинности
Логические операции
Логические операции
А – день сменяет ночь В – солнце скрывается за горизонтом День сменяет
А – день сменяет ночь В – солнце скрывается за горизонтом День сменяет
Вывод: результат операции эквивалентность истинен только тогда, когда
Вывод: результат операции эквивалентность истинен только тогда, когда
Таблица истинности
Таблица истинности
Прядок выполнения логических операций в сложном логическом выражении:
Прядок выполнения логических операций в сложном логическом выражении:
Из следующих предложений выбрать те, которые являются высказываниями:
Из следующих предложений выбрать те, которые являются высказываниями:
Распределите высказывания по типам (простое, сложное)
Распределите высказывания по типам (простое, сложное)
Укажите связующие слова или союзы и наименование связок
Укажите связующие слова или союзы и наименование связок
Из следующих простых высказываний составьте и запишите несколько
Из следующих простых высказываний составьте и запишите несколько
Домашнее задание
Домашнее задание

Презентация на тему: «Тема: Основные понятия алгебры логики». Автор: АДМИН. Файл: «Тема: Основные понятия алгебры логики.pptx». Размер zip-архива: 231 КБ.

Тема: Основные понятия алгебры логики

содержание презентации «Тема: Основные понятия алгебры логики.pptx»
СлайдТекст
1 Тема: Основные понятия алгебры логики

Тема: Основные понятия алгебры логики

Логические выражения и логические операции.

2 Алгебра – это раздел математики, предназначенный для описания действий

Алгебра – это раздел математики, предназначенный для описания действий

над переменными величинами, которые принято обозначать строчными латинскими буквами, например a, b, x, y и т.д.

3 Логика (древнегреч

Логика (древнегреч

– слово logos, означает «мысль, понятие, рассуждение, закон») - наука о законах и формах мышления. Алгебра логики изучает общие операции над высказываниями.

4 Основы алгебры логики (булева алгебра) были положены английским

Основы алгебры логики (булева алгебра) были положены английским

математиком Джорджем Булем в 19 веке.

5 Высказывание (суждение) - это повествовательное предложение, в котором

Высказывание (суждение) - это повествовательное предложение, в котором

что-либо утверждается или отрицается. По поводу любого высказывания можно сказать истинно оно или ложно.

6 Определите какие из следующих выражений являются высказываниями

Определите какие из следующих выражений являются высказываниями

Число 6 – четное. Здравствуйте! Все роботы являются машинами. Кто отсутствует? Выразите 1 ч 15 мин в секундах. А – первая буква в алфавите.

7 Определите истинность высказываний

Определите истинность высказываний

Треугольник – геометрическая фигура. У каждой лошади есть хвост. Париж - столица Китая. Лед – твердое состояние воды. Все люди космонавты.

8 В алгебре логики высказывания обозначаются именами логических

В алгебре логики высказывания обозначаются именами логических

переменных (А, В, С), которые могут принимать значения истина (1) или ложь (0). Истина, ложь – логические константы.

9 Логические выражения бывают простые или сложные

Логические выражения бывают простые или сложные

Простое логическое выражение состоит из одного высказывания и не содержит логические операции. В нём возможно только два результата – либо «истина», либо «ложь».

10 Сложное логическое высказывание строится из простых с помощью связок

Сложное логическое высказывание строится из простых с помощью связок

«И», «ИЛИ», «НЕ», которые называются логическими операциями. Основные логические операции: НЕ (логическое отрицание, инверсия) ИЛИ (логическое сложение, дизъюнкция) И (логическое умножение, конъюнкция)

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

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

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

12 А – У меня есть знания для сдачи зачета

А – У меня есть знания для сдачи зачета

В – У меня есть желание для сдачи зачета. У меня есть знания и желание для сдачи зачета. A&B

13 Вывод: Логическая операция конъюнкция истинна только в том случае,

Вывод: Логическая операция конъюнкция истинна только в том случае,

если оба простых высказывания истинны, в противном случае она ложна.

14 Все операции алгебры логики определяются таблицами истинности значений

Все операции алгебры логики определяются таблицами истинности значений

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

15 Таблица истинности

Таблица истинности

А

В

А^в

0

0

0

0

1

0

1

0

0

1

1

1

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

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

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

17 A - Летом я поеду в лагерь B - Летом я поеду к бабушке

A - Летом я поеду в лагерь B - Летом я поеду к бабушке

Летом я поеду в лагерь или поеду к бабушке. AVB

18 Вывод: Логическая операция дизъюнкция ложна, если оба простых

Вывод: Логическая операция дизъюнкция ложна, если оба простых

высказывания ложны. В остальных случаях она истинна

19 Таблица истинности

Таблица истинности

А

В

Аvв

0

0

0

0

1

1

1

0

1

1

1

1

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

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

Отрицание (инверсия) – добавляется частица НЕ или слова НЕВЕРНО,ЧТО, обозначается символом ¬ , ?.

21 А - Земля вращается вокруг Солнца – истинно ¬А - Земля не вращается

А - Земля вращается вокруг Солнца – истинно ¬А - Земля не вращается

вокруг Солнца - ложно

22 Вывод: если исходное выражение истинно, то результат его отрицания

Вывод: если исходное выражение истинно, то результат его отрицания

будет ложным, и наоборот, если исходное выражение ложно, то оно будет истинным.

23 Таблица истинности

Таблица истинности

А

¬А

0

1

1

0

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

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

Следование (импликация) – эта операция связывает два простых логических выражения, из которых первое является условием, а второе – следствием из этого условия. Содержит конструкцию «ЕСЛИ – ТО». Обозначается ?.

25 А – идёт дождь В – на улице сыро Если идёт дождь, то на улице сыро

А – идёт дождь В – на улице сыро Если идёт дождь, то на улице сыро

А ? В

26 Вывод: Результат операции следования (импликации) ложен только тогда,

Вывод: Результат операции следования (импликации) ложен только тогда,

когда предпосылка А истинна, а заключение В (следствие) ложно.

27 Таблица истинности

Таблица истинности

А

В

А?в

0

0

1

0

1

1

1

0

0

1

1

1

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

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

Равнозначность (эквивалентность) –логическое выражение содержит конструкцию «А ТОГДА И ТОЛЬКО ТОГДА, КОГДА В». Обозначается ~.

29 А – день сменяет ночь В – солнце скрывается за горизонтом День сменяет

А – день сменяет ночь В – солнце скрывается за горизонтом День сменяет

ночь тогда и только тогда, когда солнце скрывается за горизонтом. А ~ В

30 Вывод: результат операции эквивалентность истинен только тогда, когда

Вывод: результат операции эквивалентность истинен только тогда, когда

А и В одновременно истинны или одновременно ложны.

31 Таблица истинности

Таблица истинности

А

В

А~в

0

0

1

0

1

0

1

0

0

1

1

1

32 Прядок выполнения логических операций в сложном логическом выражении:

Прядок выполнения логических операций в сложном логическом выражении:

Инверсия Конъюнкция Дизъюнкция Импликация Эквивалентность Для изменения указанного порядка выполнения операций применяют скобки.

33 Из следующих предложений выбрать те, которые являются высказываниями:

Из следующих предложений выбрать те, которые являются высказываниями:

Как пройти в библиотеку? Меню в программе – это список возможных вариантов. Сканер – это устройство, которое может напечатать на бумаге то, что изображено на экране компьютера. Мышка – это устройство ввода информации. Число 2 является делителем числа 7.

34 Распределите высказывания по типам (простое, сложное)

Распределите высказывания по типам (простое, сложное)

Сегодня, завтра или через месяц он напишет письмо Если успешно закончишь первую четверть, то тебе подарят компьютер В школе уроки начнутся в 9 часов утра Кончилось лето, и наступили прохладные дни У меня есть старший брат Каждое утро и каждый вечер он выходит на прогулку После дождя трава мокрая Круг – это не квадрат Марс находится в пределах Солнечной системы

35 Укажите связующие слова или союзы и наименование связок

Укажите связующие слова или союзы и наименование связок

Он позвонит или пришлёт сообщение по электронной почте Неверно, что январь – летний месяц Каждый человек на земле имеет право быть счастливым Мне должны подарить либо лыжи, либо самокат На следующей неделе она зайдёт ко мне домой и на работу к бабушке Если у тебя заболело горло, то обязательно надо показаться врачу Все ученики нашего класса пойдут в кино Некоторые дети не любят конфеты Существуют птицы, которые не могут летать

36 Из следующих простых высказываний составьте и запишите несколько

Из следующих простых высказываний составьте и запишите несколько

сложных высказываний:

Поедем на дачу Хорошая погода По прогнозам синоптиков предполагаются осадки в виде дождя и снега Сильный ветер Отсутствие ветра Плохая погода Мы поедем на пляж Антон приглашает нс в театр Антон приглашает нас в цирк После школы я буду учиться в институте После школы я буду работать в интернет-центре

37 Домашнее задание

Домашнее задание

Прочитать стр.343 – 352, выучить определения и выводы, устно вопр.1 – 4 стр.366

«Тема: Основные понятия алгебры логики»
http://900igr.net/prezentacija/algebra/tema-osnovnye-ponjatija-algebry-logiki-137294.html
cсылка на страницу
Урок

Алгебра

35 тем
Слайды
900igr.net > Презентации по алгебре > Алгебра логики > Тема: Основные понятия алгебры логики