Добавить материал и получить бесплатное свидетельство о публикации в СМИ
Эл. №ФС77-60625 от 20.01.2015
Инфоурок / Информатика / Презентации / Логические формулы

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


  • Информатика

Поделитесь материалом с коллегами:

Что такое логическая формула? МОУ «Гимназия №5»
* ОПРЕДЕЛЕНИЕ ЛОГИЧЕСКОЙ ФОРМУЛЫ ВЫПОЛНИМЫЕ ФОРМУЛЫ ТОЖДЕСТВЕННО-ИСТИННЫЕ ФОР...
* С помощью логических переменных и символов логических операций любое высказ...
* В качестве примера рассмотрим высказывание “если я куплю яблоки или абрикос...
* Некоторые формулы принимают значение “истина” при любых значениях истинност...
* В качестве другого примера рассмотрим формулу А •А , например, высказывание...
* Если две формулы А и В “одновременно”, то есть при одинаковых наборах значе...
1 из 7

Описание презентации по отдельным слайдам:

№ слайда 1 Что такое логическая формула? МОУ «Гимназия №5»
Описание слайда:

Что такое логическая формула? МОУ «Гимназия №5»

№ слайда 2 * ОПРЕДЕЛЕНИЕ ЛОГИЧЕСКОЙ ФОРМУЛЫ ВЫПОЛНИМЫЕ ФОРМУЛЫ ТОЖДЕСТВЕННО-ИСТИННЫЕ ФОР
Описание слайда:

* ОПРЕДЕЛЕНИЕ ЛОГИЧЕСКОЙ ФОРМУЛЫ ВЫПОЛНИМЫЕ ФОРМУЛЫ ТОЖДЕСТВЕННО-ИСТИННЫЕ ФОРМУЛЫ ТОЖДЕСТВЕННО-ЛОЖНЫЕ ФОРМУЛЫ РАВНОСИЛЬНЫЕ ФОРМУЛЫ

№ слайда 3 * С помощью логических переменных и символов логических операций любое высказ
Описание слайда:

* С помощью логических переменных и символов логических операций любое высказывание можно формализовать, то есть заменить логической формулой. Определение логической формулы: Всякая логическая переменная и символы “истина” (“1”) и “ложь” (“0”) — формулы. Если А и В — формулы, то , (А • В), (А v В), (А → B), (А ↔ В) — формулы. Никаких других формул в алгебре логики нет.

№ слайда 4 * В качестве примера рассмотрим высказывание “если я куплю яблоки или абрикос
Описание слайда:

* В качестве примера рассмотрим высказывание “если я куплю яблоки или абрикосы, то приготовлю фруктовый пирог”. Это высказывание формализуется в виде (A v B) → C; такая же формула соответствует высказыванию “если Игорь знает английский или японский язык, то он получит место переводчика”. Как показывает анализ формулы (A v B) → C , при определённых сочетаниях значений переменных A, B и C она принимает значение “истина”, а при некоторых других сочетаниях — значение “ложь” (разберите самостоятельно эти случаи). Такие формулы называются выполнимыми.

№ слайда 5 * Некоторые формулы принимают значение “истина” при любых значениях истинност
Описание слайда:

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

№ слайда 6 * В качестве другого примера рассмотрим формулу А •А , например, высказывание
Описание слайда:

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

№ слайда 7 * Если две формулы А и В “одновременно”, то есть при одинаковых наборах значе
Описание слайда:

* Если две формулы А и В “одновременно”, то есть при одинаковых наборах значений входящих в них переменных, принимают одинаковые значения, то они называются равносильными. Равносильность двух формул алгебры логики обозначается символом “=” или символом “≡”. Замена формулы другой, ей равносильной, называется равносильным преобразованием данной формулы.


Краткое описание документа:

В данной презентации рассмотрены: ОПРЕДЕЛЕНИЕ ЛОГИЧЕСКОЙ ФОРМУЛЫ, ВЫПОЛНИМЫЕ ФОРМУЛЫ, ТОЖДЕСТВЕННО-ИСТИННЫЕ ФОРМУЛЫ, ТОЖДЕСТВЕННО-ЛОЖНЫЕ ФОРМУЛЫ, РАВНОСИЛЬНЫЕ ФОРМУЛЫ.

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


Автор
Дата добавления 14.05.2015
Раздел Информатика
Подраздел Презентации
Просмотров530
Номер материала 279841
Получить свидетельство о публикации


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