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

Автоматическая выдача свидетельства о публикации в официальном СМИ сразу после добавления материала на сайт - Бесплатно

Добавить свой материал

За каждый опубликованный материал Вы получите бесплатное свидетельство о публикации от проекта «Инфоурок»

(Свидетельство о регистрации СМИ: Эл №ФС77-60625 от 20.01.2015)

Инфоурок / Информатика / Презентации / Логические формулы
ВНИМАНИЮ ВСЕХ УЧИТЕЛЕЙ: согласно Федеральному закону № 313-ФЗ все педагоги должны пройти обучение навыкам оказания первой помощи.

Дистанционный курс "Оказание первой помощи детям и взрослым" от проекта "Инфоурок" даёт Вам возможность привести свои знания в соответствие с требованиями закона и получить удостоверение о повышении квалификации установленного образца (180 часов). Начало обучения новой группы: 28 июня.

Подать заявку на курс
  • Информатика

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

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

Подайте заявку сейчас на любой интересующий Вас курс переподготовки, чтобы получить диплом со скидкой 50% уже осенью 2017 года.


Выберите специальность, которую Вы хотите получить:

Обучение проходит дистанционно на сайте проекта "Инфоурок".
По итогам обучения слушателям выдаются печатные дипломы установленного образца.

ПЕРЕЙТИ В КАТАЛОГ КУРСОВ

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

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

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


Подайте заявку сейчас на любой интересующий Вас курс переподготовки, чтобы получить диплом со скидкой 50% уже осенью 2017 года.


Выберите специальность, которую Вы хотите получить:

Обучение проходит дистанционно на сайте проекта "Инфоурок".
По итогам обучения слушателям выдаются печатные дипломы установленного образца.

ПЕРЕЙТИ В КАТАЛОГ КУРСОВ

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

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

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


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

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