PPt4Web Хостинг презентаций

Главная / Информатика / Алгебра высказываний
X Код для использования на сайте:

Скопируйте этот код и вставьте его на свой сайт

X

Чтобы скачать данную презентацию, порекомендуйте, пожалуйста, её своим друзьям в любой соц. сети.

После чего скачивание начнётся автоматически!

Кнопки:

Презентация на тему: Алгебра высказываний


Скачать эту презентацию

Презентация на тему: Алгебра высказываний


Скачать эту презентацию

№ слайда 1 ОСНОВЫ ЛОГИКИ АЛГЕБРА ВЫСКАЗЫВАНИЙ Автор: Алексеева Тамара Юрьевна, учитель инфо
Описание слайда:

ОСНОВЫ ЛОГИКИ АЛГЕБРА ВЫСКАЗЫВАНИЙ Автор: Алексеева Тамара Юрьевна, учитель информатики МОУ «СОШ №1 п. Пурпе»

№ слайда 2 СОДЕРЖАНИЕ Введение. Логическая операция конъюнкция. Логическая операция дизъюнк
Описание слайда:

СОДЕРЖАНИЕ Введение. Логическая операция конъюнкция. Логическая операция дизъюнкция. Логическая операция инверсия. Логическая операция импликация. Логическая операция эквиваленция. Конец.

№ слайда 3 АЛГЕБРА в широком смысле этого слова – наука об общих операциях, аналогичных сло
Описание слайда:

АЛГЕБРА в широком смысле этого слова – наука об общих операциях, аналогичных сложению и умножению, которые могут выполняться над различными математическими объектами (алгебра переменных и функций, алгебра векторов, алгебра множеств и так далее). Объектами алгебры логики являются высказывания.

№ слайда 4 Алгебра логики отвлекается от смысловой содержательности высказываний. Ее интере
Описание слайда:

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

№ слайда 5 Простые высказывания в алгебре логики обозначаются заглавными буквами А = {Арист
Описание слайда:

Простые высказывания в алгебре логики обозначаются заглавными буквами А = {Аристотель – основоположник логики} В = {На яблонях растут бананы} Истинному высказыванию ставится в соответствие 1, ложному – 0. Таким образом, А = 1, В = 0.

№ слайда 6 Составные высказывания на естественном языке образуются с помощью союзов, которы
Описание слайда:

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

№ слайда 7 Логическая операция КОНЪЮНКЦИЯ (логическое умножение) В естественном языке соотв
Описание слайда:

Логическая операция КОНЪЮНКЦИЯ (логическое умножение) В естественном языке соответствует союзу и В алгебре высказываний обозначается & В языках программирования обозначается and

№ слайда 8 Конъюнкция – это логическая операция, ставящая в соответствие каждым двум просты
Описание слайда:

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

№ слайда 9 Пример. Даны высказывания. Определите истинность каждого из них. А = {10 делится
Описание слайда:

Пример. Даны высказывания. Определите истинность каждого из них. А = {10 делится на 2 и 5 не больше трех} В = {10 не делится на 2 и 5 больше трех} С = {10 делится на 2 и 5 больше трех} D = {10 не делится на 2 и 5 не больше трех} А = 1 0 = 0 В = 0 1 = 0 С = 1 1 = 1 D = 0 0 = 0

№ слайда 10 Таблица истинности
Описание слайда:

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

№ слайда 11 Логическая операция ДИЗЪЮНКЦИЯ (логическое сложение) В естественном языке соотве
Описание слайда:

Логическая операция ДИЗЪЮНКЦИЯ (логическое сложение) В естественном языке соответствует союзу или. В алгебре высказываний обозначается В языках программирования обозначается or.

№ слайда 12 Дизъюнкция – это логическая операция, ставящая в соответствие каждым двум просты
Описание слайда:

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

№ слайда 13 Пример. Даны высказывания. Определите истинность каждого из них. А = {10 делится
Описание слайда:

Пример. Даны высказывания. Определите истинность каждого из них. А = {10 делится на 2 или 5 не больше трех} В = {10 не делится на 2 или 5 больше трех} С = {10 делится на 2 или 5 больше трех} D = {10 не делится на 2 или 5 не больше трех} A = 1 0 = 1 B = 0 1 = 1 C = 1 1 = 1 D = 0 0 = 0

№ слайда 14 Таблица истинности
Описание слайда:

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

№ слайда 15 Логическая операция ОТРИЦАНИЕ(инверсия) В естественном языке соответствует части
Описание слайда:

Логическая операция ОТРИЦАНИЕ(инверсия) В естественном языке соответствует частице не. В алгебре высказываний обозначается А, А В языках программирования обозначается not

№ слайда 16 Отрицание – это логическая операция, которая каждому простому истинному высказыв
Описание слайда:

Отрицание – это логическая операция, которая каждому простому истинному высказыванию ставит в соответствие ложное высказывание.

№ слайда 17 Пример А = {Луна – спутник Земли} А = {Луна – не спутник Земли}
Описание слайда:

Пример А = {Луна – спутник Земли} А = {Луна – не спутник Земли}

№ слайда 18 Таблица истинности
Описание слайда:

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

№ слайда 19 Логическая операция ИМПЛИКАЦИЯ(логическое следование) В естественном языке соотв
Описание слайда:

Логическая операция ИМПЛИКАЦИЯ(логическое следование) В естественном языке соответствует обороту если …, то … . В алгебре высказываний обозначается → В языках программирования не используется

№ слайда 20 Импликация – это логическая операция, ставящая в соответствие каждым двум просты
Описание слайда:

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

№ слайда 21 Пример. Даны высказывания. А = {Данный четырехугольник - квадрат} В = {Около дан
Описание слайда:

Пример. Даны высказывания. А = {Данный четырехугольник - квадрат} В = {Около данного четырехугольника можно описать окружность} Рассмотрим составное высказывание А → В , понимаемое как «если данный четырехугольник – квадрат, то около него можно описать окружность». Есть три варианта, когда высказывание А → В истинно

№ слайда 22 А истинно и В истинно, т. е. если данный четырехугольник – квадрат, то около нег
Описание слайда:

А истинно и В истинно, т. е. если данный четырехугольник – квадрат, то около него можно описать окружность; А ложно и В истинно, т. е. если данный четырехугольник не является квадратом, то около него можно описать окружность; А ложно и В ложно, т. е. если данный четырехугольник не является квадратом, то около него нельзя описать окружность; Ложен только один вариант: А истинно и В ложно, т. е. если данный четырехугольник – квадрат, то около него нельзя описать окружность.

№ слайда 23 В обычной речи связка «если …, то» описывает причинно-следственную связь между в
Описание слайда:

В обычной речи связка «если …, то» описывает причинно-следственную связь между высказываниями. Но в логических операциях смысл высказываний не учитывается. Рассматривается только их истинность или ложность. Поэтому не надо смеяться над бессмысленностью импликаций, образованных высказываниями, совершенно не связанными по содержанию. Например, такими: «если президент США – демократ, то в Африке водятся жирафы» или «если арбуз ягода, то в бензоколонке есть бензин»

№ слайда 24 Таблица истинности
Описание слайда:

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

№ слайда 25 Логическая операция ЭКВИВАЛЕНЦИЯ(равнозначность) В естественном языке соответств
Описание слайда:

Логическая операция ЭКВИВАЛЕНЦИЯ(равнозначность) В естественном языке соответствует оборотам речи тогда и только тогда; в том и только в том случае В алгебре высказываний обозначается В языках программирования не используется

№ слайда 26 Эквиваленция – это логическая операция, ставящая в соответствие каждым двум прос
Описание слайда:

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

№ слайда 27 Пример. Определить истинность высказываний. А = {24 делится на 6 тогда и только
Описание слайда:

Пример. Определить истинность высказываний. А = {24 делится на 6 тогда и только тогда, когда 24 делится на 3} А = 1 1 = 1 В = {23 делится на 6 тогда и только тогда, когда 23 делится на 3} В = 0 0 = 1 С = {24 делится на 6 тогда и только тогда, когда 24 делится на 5} С = 1 0 = 0 D = {21 делится на 6 тогда и только тогда, когда 21 делится на 3} D = 0 1 = 0

№ слайда 28 Таблица истинности
Описание слайда:

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

№ слайда 29 спасибо за внимание и активную работу!
Описание слайда:

спасибо за внимание и активную работу!

№ слайда 30 Используемая литература и ссылки изображений Информатика и ИКТ. Базовый уровень:
Описание слайда:

Используемая литература и ссылки изображений Информатика и ИКТ. Базовый уровень: учебник для 11 класса/ Н.Д. Угринович. – 3-е изд. – М. : БИНОМ. Лаборатория знаний, 2009.

Скачать эту презентацию

Презентации по предмету
Презентации из категории
Лучшее на fresher.ru