Логические задачи Скачать
презентацию
<<  Табличный способ решения задач Развитие логического мышления  >>
Алгебра логики
Алгебра логики
Логика
Логика
Алгебра логики
Алгебра логики
Основные логические связки
Основные логические связки
Таблица истинности
Таблица истинности
Таблица истинности
Таблица истинности
Основные логические операции
Основные логические операции
Таблица истинности для И
Таблица истинности для И
Основные логические операции
Основные логические операции
Таблица истинности для ИЛИ
Таблица истинности для ИЛИ
Основные логические операции
Основные логические операции
Таблица истинности для НЕ
Таблица истинности для НЕ
Таблица истинности для эквивалентности
Таблица истинности для эквивалентности
Порядок выполнения логических операций
Порядок выполнения логических операций
Логическая формула
Логическая формула
Тавтология
Тавтология
Тождественная истина
Тождественная истина
Тождественная ложь
Тождественная ложь
Тождественная ложь
Тождественная ложь
Выполнимая формула
Выполнимая формула
Основные законы алгебры логики
Основные законы алгебры логики
Слайды из презентации «Алгебра логики» к уроку математики на тему «Логические задачи»

Автор: . Чтобы увеличить слайд, нажмите на его эскиз. Чтобы использовать презентацию на уроке, скачайте файл «Алгебра.ppt» бесплатно в zip-архиве размером 165 КБ.

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

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

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

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

2 Логика

Логика

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

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

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

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

Создателем алгебры логики является живший в ХIХ веке английский математик Джордж Буль, в честь которого эта алгебра названа булевой алгеброй высказываний.

4 Основные логические связки

Основные логические связки

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

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

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

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

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

Для формулы, которая содержит две переменные, таких наборов значений переменных всего четыре: (0,0), (0,1), (1,0), (1,1). Если формула содержит три переменные, то возможных наборов значений переменных восемь: (0,0,0), (0,0,1), (0,1,0), (0,1,1), (1,0,0), (1,0,1), (1,1,0), (1,1,1). Количество наборов для формулы с четырьмя переменными равно шестнадцати и т.д.

7 Основные логические операции

Основные логические операции

КОНЪЮНКЦИЯ Соответствует союзу И; Обозначение &; В языках программирования and; Название: Логическое умножение.

8 Таблица истинности для И

Таблица истинности для И

9 Основные логические операции

Основные логические операции

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

10 Таблица истинности для ИЛИ

Таблица истинности для ИЛИ

11 Основные логические операции

Основные логические операции

ИНВЕРСИЯ Соответствует союзу НЕ; Обозначение А; В языках программирования not; Название: Отрицание.

12 Таблица истинности для НЕ

Таблица истинности для НЕ

13 Таблица истинности для эквивалентности

Таблица истинности для эквивалентности

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

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

Порядок выполнения логических операций задается круглыми скобками. Но для уменьшения числа скобок договорились считать, что сначала выполняется операция отрицания (“не”), затем конъюнкция (“и”), после конъюнкции — дизъюнкция (“или”) и в последнюю очередь — импликация ?.

15 Логическая формула

Логическая формула

Определение логической формулы: Всякая логическая переменная и символы “истина” (“1”) и “ложь” (“0”) — формулы. Если А и В — формулы, то , (А • В), (А v В), (А ? B), (А « В) — формулы.

16 Тавтология

Тавтология

Некоторые формулы принимают значение “истина” при любых значениях истинности входящих в них переменных. Например, формула А v Такие формулы называются тождественно истинными формулами или тавтологиями. Высказывания, которые формализуются тавтологиями, называются логически истинными высказываниями.

17 Тождественная истина

Тождественная истина

При всех наборах значений переменных x и y формула принимает значение 1, то есть является тождественно истинной.

18 Тождественная ложь

Тождественная ложь

В качестве другого примера рассмотрим формулу А • , которой соответствует, например, высказывание “Катя самая высокая девочка в классе, и в классе есть девочки выше Кати”. Очевидно, что эта формула ложна, так как либо А, либо обязательно ложно. Такие формулы называются тождественно ложными формулами или противоречиями. Высказывания, которые формализуются противоречиями, называются логически ложными высказываниями.

19 Тождественная ложь

Тождественная ложь

При всех наборах значений переменных x и y формула принимает значение 0, то есть является тождественно ложной.

20 Выполнимая формула

Выполнимая формула

Формула в некоторых случаях принимает значение 1, а в некоторых — 0, то есть является выполнимой.

21 Основные законы алгебры логики

Основные законы алгебры логики

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

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

Математика

67 тем
Слайды
Презентация: Алгебра логики | Файл: Алгебра.ppt | Тема: Логические задачи | Урок: Математика | Вид: Слайды