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

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


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

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

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

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

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

ИмпликацияИмпликация (условное высказывание). В русском языке этой логической операции соответствуют союзы если ..., то; когда ..., тогда; коль скоро..., то и т.п. Выражение, начинающееся после союзов если, когда, коль скоро, называется основанием условного высказывания. Выражение, стоящее
Импликация и эквивалентностьСоставила: Антонова Е.П. по задачнику-практикуму, под ред. Семакина И.Г., Хеннера ИмпликацияИмпликация (условное высказывание). В русском языке этой логической операции соответствуют союзы если Языковой аналог — союзы если и только если; тогда и только тогда, Пример 1Дано сложное высказывание: «Если выглянет солнце, то станет тепло». Преобразовать к Пример 2Дано сложное высказывание: «Людоед голоден тогда и только тогда, когда он Таблица истинности операций импликации и эквивалентности Задача: определите истинность формулы:  F = ((С v В) -> В) ЗадачиОпределите истинность формул:((a v ¬b) -> b) /\ (¬а v b)¬(а /\ Задачи из ЕГЭ1. Для какого из указанных значений числа X истинно высказывание:(X>4) \/ ((X>1) ->(X>4))?Ответ: Задачи из ЕГЭ1. Для какого из указанных значений числа X истинно высказывание:(X>4) \/ ((X>1) ->(X>4))?Ответ: 1 Задачи из ЕГЭ2. Для какого имени истинно высказывание:¬ (Первая буква имени гласная Задачи из ЕГЭ2. Для какого имени истинно высказывание:¬ (Первая буква имени гласная ЕГЭ 2010г.Какое из приведённых имён удовлетворяет логическому условию?¬(первая буква гласная→вторая буква гласная)/\последняя буква гласнаяИринаМаксимАртёмМария
Слайды презентации

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

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

операции соответствуют союзы если ..., то; когда ..., тогда;

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

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

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

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

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

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


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

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

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

А простое высказывание «выглянет солнце», а через В — «станет тепло». Тогда логическая форма сложного высказывания имеет вид А —> В.

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

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

только тогда, когда он давно не ел». Преобразовать к

логической формуле.
Решение.
Обозначим через А простое высказывание «людоед голоден», а через В — «он давно не ел».
Тогда логическая формула сложного высказывания имеет вид А = В.

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

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

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

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

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



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

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

(¬а v b)

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


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

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

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


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

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

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


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

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

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


Ответ:


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

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

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


Ответ: 3


  • Имя файла: implikatsiya-i-ekvivalentnost.pptx
  • Количество просмотров: 122
  • Количество скачиваний: 0