Алгебра логики
<<  Алгебра Логики Алгебра логики  >>
Алгебра логики
Алгебра логики
Понятие алгебры логики
Понятие алгебры логики
К числу структур, изучаемых дискретной математикой, могут быть
К числу структур, изучаемых дискретной математикой, могут быть
Кибернетика
Кибернетика
Термин кибернетика ввел американский ученый Норберт Винер (1894 –
Термин кибернетика ввел американский ученый Норберт Винер (1894 –
История термина
История термина
Логика в информатике
Логика в информатике
Отец алгебры логики
Отец алгебры логики
Джордж Буль
Джордж Буль
Высказывания
Высказывания
У логической величины есть имя
У логической величины есть имя
Логические операции
Логические операции
Таблицы истинности
Таблицы истинности
Связка «И»
Связка «И»
Примеры конъюнкции
Примеры конъюнкции
Связка «ИЛИ»
Связка «ИЛИ»
Примеры дизъюнкции
Примеры дизъюнкции
Связка «НЕ»
Связка «НЕ»
Не «истина» = «ложь» не «ложь» = «истина»
Не «истина» = «ложь» не «ложь» = «истина»
Логические выражения
Логические выражения
Примеры формирования логических выражений
Примеры формирования логических выражений
Правила определения значений логических выражений
Правила определения значений логических выражений
ПРИМЕР ОПРЕДЕЛЕНИЯ ИСТИННОСТИ ЛОГИЧЕСКИХ ВЫРАЖЕНИЙ (прогноза погоды)
ПРИМЕР ОПРЕДЕЛЕНИЯ ИСТИННОСТИ ЛОГИЧЕСКИХ ВЫРАЖЕНИЙ (прогноза погоды)
Самостоятельная работа
Самостоятельная работа
РАЗДЕЛИТЕЛЬНАЯ (СТРОГАЯ) ДИЗЪЮНКЦИЯ сложение по модулю 2,
РАЗДЕЛИТЕЛЬНАЯ (СТРОГАЯ) ДИЗЪЮНКЦИЯ сложение по модулю 2,
В высказывании, являющемся разделительной дизъюнкцией, мы утверждаем,
В высказывании, являющемся разделительной дизъюнкцией, мы утверждаем,
ИМПЛИКАЦИЯ (следование)
ИМПЛИКАЦИЯ (следование)
Импликация – логическая операция, ставящая в соответствие каждым двум
Импликация – логическая операция, ставящая в соответствие каждым двум
Другими словами, из неверного условия может следовать все, что угодно
Другими словами, из неверного условия может следовать все, что угодно
Эквивалентность
Эквивалентность
Эквивалентность – логическая операция, ставящая в соответствие двум
Эквивалентность – логическая операция, ставящая в соответствие двум
Сводная таблица истинности логических выражений
Сводная таблица истинности логических выражений

Презентация: «Алгебра логики». Автор: Ия Юрьевна. Файл: «Алгебра логики.ppt». Размер zip-архива: 224 КБ.

Алгебра логики

содержание презентации «Алгебра логики.ppt»
СлайдТекст
1 Алгебра логики

Алгебра логики

2 Понятие алгебры логики

Понятие алгебры логики

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

3 К числу структур, изучаемых дискретной математикой, могут быть

К числу структур, изучаемых дискретной математикой, могут быть

отнесены конечные группы, конечные графы, математические модели преобразователей информации и конечных автоматов. Конечная группа — алгебраическая группа, содержащая конечное число элементов (это число называется её порядком) Конечные группы широко используются как в математике, так и в других науках: топология, криптография, кристаллография, атомная физика, теория орнаментов и др. Они тесно связаны с симметрией исследуемых объектов граф — это совокупность непустого множества вершин и множества пар вершин.

Структуры дискретной математики

4 Кибернетика

Кибернетика

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

5 Термин кибернетика ввел американский ученый Норберт Винер (1894 –

Термин кибернетика ввел американский ученый Норберт Винер (1894 –

1964)

6 История термина

История термина

Широкое использование ЭВМ и базирующихся на них АСУ (автоматизированных систем управления) потребовало создания научных основ проектирования ЭВМ и АСУ. Полученные научные методы и результаты объединили в новую науку, получившую в США и Англии название computer science, во Франции – Informatics. В СССР, а затем и в России название кибернетика было вытеснено (поглощено) названием информатика.

7 Логика в информатике

Логика в информатике

Математический аппарат алгебры логики широко используется в информатике, в частности, в таких ее разделах, как проектирование ЭВМ, теория автоматов, теория алгоритмов, теория информации, целочисленное программирование.

8 Отец алгебры логики

Отец алгебры логики

Джордж Буль (1815 – 1864)

9 Джордж Буль

Джордж Буль

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

10 Высказывания

Высказывания

Объектами алгебры логики являются высказывания. Величины, которые отражают истинность высказываний, называют логическими величинами. Логическая величина может иметь только одно из двух значений, которые выражают парой слов или чисел: «да» – «нет», «истина» – «ложь», 1 - 0

11 У логической величины есть имя

У логической величины есть имя

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

Высказывание (простое)

Имя логической величины

Значение логической величины

Сегодня нет опоздавших

А

1

Все учащиеся внимательны

В

0

Дискотека в школе отменена

С

0

Завтра будет 2 марта 2011 г.

D

1

Никто не получит оценку «2»

E

0

Мы всегда говорим правду

F

1

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

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

Составные (сложные) высказывания образуются с помощью связок «И», «ИЛИ», «НЕ», которые в алгебре логики заменяются на логические операции: Инверсия, логическое отрицание (НЕ); Конъюнкция, логическое умножение (И); Дизъюнкция, нестрогая дизъюнкция, логическое сложение (ИЛИ); Разделительная (строгая) дизъюнкция, исключающее ИЛИ, сложение по модулю 2, неравнозначность (ЛИБО); Импликация, следование (ЕСЛИ … , ТО); Эквиваленция, эквивалентность,, разнозначность (ТОГДА И ТОЛЬКО ТОГДА, КОГДА).

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

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

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

14 Связка «И»

Связка «И»

Логическое умножение (конъюнкция)

А

В

А/\в

0

0

0

0

1

0

1

0

0

1

1

1

15 Примеры конъюнкции

Примеры конъюнкции

«Истина» и «истина» = «истина» «истина» и «ложь» = «ложь» «ложь» и «истина» = «ложь» «ложь» и «ложь» = «ложь»

16 Связка «ИЛИ»

Связка «ИЛИ»

Логическое сложение (дизъюнкция)

А

В

А \/ в

0

0

0

0

1

1

1

0

1

1

1

1

17 Примеры дизъюнкции

Примеры дизъюнкции

«Истина» или «истина» = «истина» «истина» или «ложь» = «истина» «ложь» или «истина» = «истина» «ложь» или «ложь» = «ложь»

18 Связка «НЕ»

Связка «НЕ»

Логическое отрицание (инверсия)

А

?

0

0

0

1

19 Не «истина» = «ложь» не «ложь» = «истина»

Не «истина» = «ложь» не «ложь» = «истина»

Примеры инверсии

20 Логические выражения

Логические выражения

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

21 Примеры формирования логических выражений

Примеры формирования логических выражений

Простые высказывания: Д – ожидается дождь; С – ожидается снег

Сложные высказывание

Использование связок

Логические выражения

Дождя не ожидается

не Д

Ожидается дождь со снегом

Д и С

Ожидаются осадки

Д или С

Ожидается сильный мороз и снегопад

(не Д) и С

Не (ожидается дождь)

(Ожидается дождь) и (ожидается снег)

(Ожидается дождь) или (ожидается снег)

(Не ожидается дождь) и (ожидается снег)

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

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

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

23 ПРИМЕР ОПРЕДЕЛЕНИЯ ИСТИННОСТИ ЛОГИЧЕСКИХ ВЫРАЖЕНИЙ (прогноза погоды)

ПРИМЕР ОПРЕДЕЛЕНИЯ ИСТИННОСТИ ЛОГИЧЕСКИХ ВЫРАЖЕНИЙ (прогноза погоды)

(Д – ожидается дождь, С – ожидается снег)

Высказывание

Высказывание

Высказывание

Прогноз 1

Прогноз 2

Прогноз 3

Прогноз 4

Значения логических выражений

Значения логических выражений

Значения логических выражений

Значения логических выражений

не Д

0

1

1

1

Д и С

0

0

0

0

Д или С

1

1

0

0

24 Самостоятельная работа

Самостоятельная работа

Заполнить значениями истинности логических выражений таблицу (выдана в начале урока) Время выполнения - 10 минут

25 РАЗДЕЛИТЕЛЬНАЯ (СТРОГАЯ) ДИЗЪЮНКЦИЯ сложение по модулю 2,

РАЗДЕЛИТЕЛЬНАЯ (СТРОГАЯ) ДИЗЪЮНКЦИЯ сложение по модулю 2,

неравнозначность.

А

В

А ? в

0

0

0

0

1

1

1

0

1

1

1

0

Связка «ЛИБО» (исключающее ИЛИ)

26 В высказывании, являющемся разделительной дизъюнкцией, мы утверждаем,

В высказывании, являющемся разделительной дизъюнкцией, мы утверждаем,

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

27 ИМПЛИКАЦИЯ (следование)

ИМПЛИКАЦИЯ (следование)

Связка «ЕСЛИ … ТО …»

А

В

А ? в

0

0

1

0

1

1

1

0

0

1

1

1

28 Импликация – логическая операция, ставящая в соответствие каждым двум

Импликация – логическая операция, ставящая в соответствие каждым двум

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

29 Другими словами, из неверного условия может следовать все, что угодно

Другими словами, из неверного условия может следовать все, что угодно

Например, высказывание: «если 2 > 3, то крокодилы летают» – является истинным. Например, истинны следующие высказывания: 1) Если 2х2=4, то Монгохто находится в Европе; 2) Если Монгохто находится в Африке, то 2х2=4; 3) Если Монгохто находится в Африке, то 2х2=5; 4) Если не наступит Новый год, то чернила высохнут; 5) Если Монгохто находится в Африке, то Нового года не будет. Те импликации, в которых посылки и заключения являются предложениями без взаимной связи, не играют в науке никакой роли. Это совершенно бесплодные предложения. Большинство математических теорем являются импликациями. Но если в теореме условие и заключение не связаны по содержанию, то такая теорема не является импликацией.

30 Эквивалентность

Эквивалентность

А

В

А ? в

0

0

1

0

1

0

1

0

0

1

1

1

Связка «ТОГДА И ТОЛЬКО ТОГДА, КОГДА»

31 Эквивалентность – логическая операция, ставящая в соответствие двум

Эквивалентность – логическая операция, ставящая в соответствие двум

элементарным высказываниям новое, являющееся истинным тогда и только тогда, когда оба исходных высказывания одновременно истинны или одновременно ложны. Эквивалентность используется при необходимости выразить взаимную обусловленность. Пример: «Я получу паспорт тогда и только тогда, когда мне исполнится 14 лет».

32 Сводная таблица истинности логических выражений

Сводная таблица истинности логических выражений

0

0

1

0

0

0

1

1

0

1

1

0

1

1

1

0

1

0

0

0

1

1

0

0

1

1

0

1

1

0

1

1

А ? в

А ? в

А

В

Не А

А и В

А или В

А ? в

«Алгебра логики»
http://900igr.net/prezentacija/algebra/algebra-logiki-205523.html
cсылка на страницу

Алгебра логики

19 презентаций об алгебре логики
Урок

Алгебра

35 тем
Слайды