Что такое findslide.org?

FindSlide.org - это сайт презентаций, докладов, шаблонов в формате PowerPoint.

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

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

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

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

Презентация на тему Алгебра логики

Содержание

Алгебра высказываний Алгебра высказываний была разработана для того, чтобы можно было определять истинность или ложность составных высказываний, не вникая в их содержание.В алгебре высказываний суждениям (простым высказываниям) ставятся в соответствие логические переменные, обозначаемые прописными буквами латинского
Алгебра логики.Логическое умножение, сложение и отрицание. Диденко В.В. Алгебра высказываний Алгебра высказываний была разработана для того, чтобы можно было определять Рассмотрим два простых высказывания:А = «Два умножить на два равно четырем».В = Для образования новых высказываний используются базовые логические операции, выражаемые с помощью логических связок «и», «или», «не». Логическое умножение (конъюнкция).Объединение двух (или нескольких) высказываний в одно с помощью союза Пример(1) «2 - 2 = 5 и 3 • 3 = 10»,(2) Р = А & В.С точки зрения алгебры высказываний мы записали формулу Таблица истинности функции логического умножения Значение логической функции можно определить с помощью Логическое сложение (дизъюнкция)Объединение двух (или нескольких) высказываний с помощью союза «или» называется Пример(1) «2 • 2 = 5 или 3 • 3 = 10»,(2) Таблица истинности функции логического сложения. Логическое отрицание (инверсия)Присоединение частицы «не» к высказыванию называется операцией логического отрицания или ПримерПусть А = «Два умножить на два равно четырем» — истинное высказывание, Таблица истинности функции логического отрицанияF = A
Слайды презентации

Слайд 2 Алгебра высказываний
Алгебра высказываний была разработана для того,

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

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

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

Слайд 3 Рассмотрим два простых высказывания:
А = «Два умножить на

Рассмотрим два простых высказывания:А = «Два умножить на два равно четырем».В

два равно четырем».
В = «Два умножить на два равно

пяти».
В нашем случае первое высказывание истинно (А = 1), а второе ложно (В = 0).
В алгебре высказываний над высказываниями можно производить определенные логические операции, в результате которых получаются новые, составные высказывания.

Слайд 4 Для образования новых высказываний используются базовые логические операции,

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

выражаемые с помощью логических связок «и», «или», «не».

Слайд 5 Логическое умножение (конъюнкция).
Объединение двух (или нескольких) высказываний в

Логическое умножение (конъюнкция).Объединение двух (или нескольких) высказываний в одно с помощью

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

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

Слайд 6 Пример
(1) «2 - 2 = 5 и 3

Пример(1) «2 - 2 = 5 и 3 • 3 =

• 3 = 10»,
(2) «2 • 2 = 5

и 3 • 3 = 9»,
(3) «2 -2 = 4 и 3 • 3 = 10»,
(4) «2 • 2 = 4 и 3 - 3 = 9».
Из этих высказываний истинно только (4)

Слайд 7 Р = А & В.
С точки зрения алгебры

Р = А & В.С точки зрения алгебры высказываний мы записали

высказываний мы записали формулу функции логического умножения, аргументами которой

являются логические переменные А и В, которые могут принимать значения «истина» (1) и «ложь» (0).
Сама функция логического умножения Р также может принимать лишь два значения «истина» (1) и «ложь» (0).

Слайд 8 Таблица истинности функции логического умножения
Значение логической функции

Таблица истинности функции логического умножения Значение логической функции можно определить с

можно определить с помощью таблицы истинности данной функции


Слайд 9 Логическое сложение (дизъюнкция)
Объединение двух (или нескольких) высказываний с

Логическое сложение (дизъюнкция)Объединение двух (или нескольких) высказываний с помощью союза «или»

помощью союза «или» называется операцией логического сложения или дизъюнкцией.
Составное

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

Слайд 10 Пример
(1) «2 • 2 = 5 или 3

Пример(1) «2 • 2 = 5 или 3 • 3 =

• 3 = 10»,
(2) «2 • 2 = 5

или 3 • 3 = 9»,
(3) «2 • 2 = 4 или 3 • 3 = 10»,
(4) «2 • 2 = 4 или 3-3 = 9».
F = A B

Слайд 11 Таблица истинности функции логического сложения.

Таблица истинности функции логического сложения.

Слайд 12 Логическое отрицание (инверсия)
Присоединение частицы «не» к высказыванию называется

Логическое отрицание (инверсия)Присоединение частицы «не» к высказыванию называется операцией логического отрицания

операцией логического отрицания или инверсией

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

истинное высказывание ложным и, наоборот, ложное — истинным.

Слайд 13 Пример
Пусть А = «Два умножить на два равно

ПримерПусть А = «Два умножить на два равно четырем» — истинное

четырем» — истинное высказывание, тогда высказывание Р = «Два

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

F = A

  • Имя файла: algebra-logiki.pptx
  • Количество просмотров: 157
  • Количество скачиваний: 0
- Предыдущая Производство и издержки
Следующая - Приспособленность организмов

Похожие презентации

Презентация по теме Методы исследования Презентация по теме Методы исследования 163
Современный урок информатики Современный урок информатики 123
Электронная почта и правила переписки Электронная почта и правила переписки 131
Локальные компьютерные сети Локальные компьютерные сети 116
Операционная система Windows Операционная система Windows 142
3D-графика и анимация в программе 3DSMax 3D-графика и анимация в программе 3DSMax 125
Сетевые технологии Сетевые технологии 203
1СПАРК Риски и 1С:Контрагент. Сравнение, позиционирование, целевая аудитория и немного статистики 1СПАРК Риски и 1С:Контрагент. Сравнение, позиционирование, целевая аудитория и немного статистики 130
Создание буклетов Создание буклетов 142
Экспертная система Экспертная система 140
Презентация Информационное моделирование объект снегопад Презентация Информационное моделирование объект снегопад 141
Презентация по информатике на темуФайловая система Презентация по информатике на темуФайловая система 120
Презентация по информатике на тему Конструктор мультфильмов Мульти_Пульти (3 класс) Презентация по информатике на тему Конструктор мультфильмов Мульти_Пульти (3 класс) 238
Урок по информатике в 9 классе на тему Мир электронной почты, телеконференция. Урок по информатике в 9 классе на тему Мир электронной почты, телеконференция. 158
Логотип Логотип 141
Прентация по инфоратике Электронды пошта 6 класс Прентация по инфоратике Электронды пошта 6 класс 145
Презентация и практические задания по Информатике, Основные параметры электронных таблиц(8 класс). Презентация и практические задания по Информатике, Основные параметры электронных таблиц(8 класс). 152
Двумерные массивы Двумерные массивы 100
Історіяі перспективи робототехніки Історіяі перспективи робототехніки 143
Вирусы в интернете Вирусы в интернете 142
Модели систем.11 класс . Презентация Модели систем.11 класс . Презентация 148
Носители информации Носители информации 148
Основные этапы разработки моделей на компьютере Основные этапы разработки моделей на компьютере 123
Разработка единого информационного пространства базы отдыха Вихрь Разработка единого информационного пространства базы отдыха Вихрь 116
Formulalar boýunça hasaplamalary özünde saklaýan ýönekeý programmalaryň düzülişi Formulalar boýunça hasaplamalary özünde saklaýan ýönekeý programmalaryň düzülişi 110
Создание и настройка диаграмм в Excel Создание и настройка диаграмм в Excel 133
Графический режим работы Графический режим работы 152
Метод группового учёта аргументов Метод группового учёта аргументов 156
Интеллектуальные информационные системы Интеллектуальные информационные системы 159
СЕГМЕНТНЫЕ ЕДИНИЦЫ СЕГМЕНТНЫЕ ЕДИНИЦЫ 168