Разделы презентаций


Алгебра высказываний

Содержание

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

Слайды и текст этой презентации

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

Пурпе»

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

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

эквиваленция.
Конец.



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

Слайд 3
АЛГЕБРА в широком смысле этого слова – наука об общих

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

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

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

один факт – истинно или ложно данное высказывание, что дает

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

Слайд 5
Простые высказывания в алгебре логики обозначаются заглавными буквами
А

= {Аристотель – основоположник логики}
В = {На яблонях растут

бананы}

Истинному высказыванию ставится в соответствие 1, ложному – 0.
Таким образом, А = 1, В = 0.

Простые высказывания в алгебре логики обозначаются заглавными буквами  А = {Аристотель – основоположник логики} В =

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

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

таблицами истинности.

содержание

дальше

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

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

В

алгебре высказываний обозначается

⋅ ∧ &

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

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

Слайд 8

Конъюнкция –
это логическая операция, ставящая в соответствие

каждым двум простым высказываниям составное высказывание, являющееся истинным тогда и

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

Слайд 9
Пример. Даны высказывания. Определите истинность каждого из них.
А = {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 делится на 2 и 5 не больше

Слайд 10
Таблица истинности
содержание
дальше

Таблица истинностисодержаниедальше

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

В

алгебре высказываний обозначается



В языках программирования обозначается or.


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

Слайд 12Дизъюнкция –



Дизъюнкция –
это логическая операция, ставящая

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

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

Слайд 13Пример. Даны высказывания. Определите истинность каждого из них.


Пример. Даны высказывания.

Определите истинность каждого из них.
А = {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

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

Слайд 14Таблица истинности


Таблица истинности
содержание
дальше

Таблица истинностиТаблица истинностисодержаниедальше

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

В алгебре высказываний

обозначается

А, ¬А

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


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

Слайд 16
Отрицание –

это логическая операция, которая каждому простому

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

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

Слайд 17

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

не спутник Земли}




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

Слайд 18
Таблица истинности

содержание
дальше

Таблица истинностисодержаниедальше

Слайд 19Логическая операция ИМПЛИКАЦИЯ (логическое следование)

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

обороту если …, то … .

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

⇒ →

В языках программирования не используется

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

Слайд 20Импликация –


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

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

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

Слайд 21Пример. Даны высказывания.


Пример. Даны высказывания.
А = {Данный четырехугольник

- квадрат}
В = {Около данного четырехугольника можно описать окружность}
Рассмотрим составное

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


Есть три варианта, когда
высказывание А → В истинно


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

Слайд 22А истинно и В истинно, т. е. если данный четырехугольник

– квадрат, то около него можно описать окружность;
А ложно и

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



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

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

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

Слайд 23

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

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

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

Слайд 24Таблица истинности




Таблица истинности
дальше
содержание

Таблица истинностиТаблица истинностидальшесодержание

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



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

тогда и только тогда; в том и только в том

случае

В алгебре высказываний обозначается
⇔ ↔ ∼

В языках программирования не используется

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

Слайд 26Эквиваленция –




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

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

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

Слайд 27Пример. Определить истинность высказываний.




Пример. Определить истинность высказываний.
А = {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


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

Слайд 28Таблица истинности




Таблица истинности
содержание
дальше

Таблица истинностиТаблица истинностисодержаниедальше

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

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

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

для 11 класса/ Н.Д. Угринович. – 3-е изд. – М.

: БИНОМ. Лаборатория знаний, 2009.

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

Обратная связь

Если не удалось найти и скачать доклад-презентацию, Вы можете заказать его на нашем сайте. Мы постараемся найти нужный Вам материал и отправим по электронной почте. Не стесняйтесь обращаться к нам, если у вас возникли вопросы или пожелания:

Email: Нажмите что бы посмотреть 

Что такое TheSlide.ru?

Это сайт презентации, докладов, проектов в PowerPoint. Здесь удобно  хранить и делиться своими презентациями с другими пользователями.


Для правообладателей

Яндекс.Метрика