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


Импликация и эквивалентность презентация, доклад

Содержание

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

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

Слайд 1Импликация и эквивалентность
Составила: Антонова Е.П. по задачнику-практикуму, под ред. Семакина

И.Г., Хеннера Е.К., 1 часть, - М.: Лаборатория базовых знаний,

2000г.

2008г.


Импликация и эквивалентностьСоставила: Антонова Е.П. по задачнику-практикуму, под ред. Семакина И.Г., Хеннера Е.К., 1 часть, - М.:

Слайд 2Импликация
Импликация (условное высказывание). В русском языке этой логической операции соответствуют

союзы если ..., то; когда ..., тогда; коль скоро..., то

и т.п.
Выражение, начинающееся после союзов если, когда, коль скоро, называется основанием условного высказывания.
Выражение, стоящее после слов то, тогда, называется следствием.
Импликация — двухместная операция; записывается так: А —> В
ИмпликацияИмпликация (условное высказывание). В русском языке этой логической операции соответствуют союзы если ..., то; когда ..., тогда;

Слайд 3Языковой аналог — союзы если и только если; тогда и

только тогда, когда ...
Эквивалентность обозначается знаком «=» или «».


!Порядок всех пяти логических операций по убыванию старшинства следующий: отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность

Эквивалентность

Языковой аналог — союзы если и только если; тогда и только тогда, когда ... Эквивалентность обозначается знаком

Слайд 4Пример 1
Дано сложное высказывание: «Если выглянет солнце, то станет тепло».

Преобразовать к логической формуле. Решение.
Обозначим через А простое высказывание

«выглянет солнце», а через В — «станет тепло». Тогда логическая форма сложного высказывания имеет вид А —> В.
Пример 1Дано сложное высказывание: «Если выглянет солнце, то станет тепло». Преобразовать к логической формуле. Решение. Обозначим через

Слайд 5Пример 2
Дано сложное высказывание: «Людоед голоден тогда и только тогда,

когда он давно не ел». Преобразовать к логической формуле.
Решение.
Обозначим

через А простое высказывание «людоед голоден», а через В — «он давно не ел».
Тогда логическая формула сложного высказывания имеет вид А = В.
Пример 2Дано сложное высказывание: «Людоед голоден тогда и только тогда, когда он давно не ел». Преобразовать к

Слайд 6Таблица истинности операций импликации и эквивалентности

Таблица истинности операций импликации и эквивалентности

Слайд 7Задача: определите истинность формулы: F = ((С v В) ->

В) & (А & В) -> В.

Задача: определите истинность формулы:  F = ((С v В) -> В) & (А & В) ->

Слайд 8Задачи
Определите
истинность формул:
((a v ¬b) -> b) /\ (¬а v

b)

¬(а /\ b) = (¬а v b)

ЗадачиОпределите истинность формул:((a v ¬b) -> b) /\ (¬а v b)¬(а /\ b) = (¬а v b)

Слайд 9Задачи из ЕГЭ
1.
Для какого из указанных значений числа X

истинно высказывание:
(X>4) \/ ((X>1) ->(X>4))?
Ответ:

Задачи из ЕГЭ1. Для какого из указанных значений числа X истинно высказывание:(X>4) \/ ((X>1) ->(X>4))?Ответ:

Слайд 10Задачи из ЕГЭ
1.
Для какого из указанных значений числа X

истинно высказывание:
(X>4) \/ ((X>1) ->(X>4))?
Ответ: 1

Задачи из ЕГЭ1. Для какого из указанных значений числа X истинно высказывание:(X>4) \/ ((X>1) ->(X>4))?Ответ: 1

Слайд 11Задачи из ЕГЭ
2. Для какого имени истинно высказывание:
¬ (Первая буква

имени гласная -> Четвертая буква имени согласная)?
Ответ:

Задачи из ЕГЭ2. Для какого имени истинно высказывание:¬ (Первая буква имени гласная -> Четвертая буква имени согласная)?

Слайд 12Задачи из ЕГЭ
2. Для какого имени истинно высказывание:
¬ (Первая буква

имени гласная -> Четвертая буква имени согласная)?
Ответ: 3

Задачи из ЕГЭ2. Для какого имени истинно высказывание:¬ (Первая буква имени гласная -> Четвертая буква имени согласная)?

Слайд 13ЕГЭ 2010г.
Какое из приведённых имён удовлетворяет логическому условию?
¬(первая буква гласная→вторая

буква гласная)/\последняя буква гласная
Ирина
Максим
Артём
Мария

ЕГЭ 2010г.Какое из приведённых имён удовлетворяет логическому условию?¬(первая буква гласная→вторая буква гласная)/\последняя буква гласнаяИринаМаксимАртёмМария

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

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

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

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

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


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

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