X

Скопируйте код и вставьте его на свой сайт.

Ширина px

Вы можете уменьшить размер презентации, указав свой размер!

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

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

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

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

1 слайд

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

2 слайд

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

3 слайд

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

4 слайд

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

5 слайд

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

6 слайд

Таблица истинности операций импликации и эквивалентности А В А->В А = В 0 0 1 1 0 1 1 0 1 0 0 0 1 1 1 1

7 слайд

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

8 слайд

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

9 слайд

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

10 слайд

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

11 слайд

Задачи из ЕГЭ 2. Для какого имени истинно высказывание: ¬ (Первая буква имени гласная -> Четвертая буква имени согласная)? Ответ: 1) ЕЛЕНА 2) ВАДИМ 3) АНТОН 4) ФЕДОР

12 слайд

Задачи из ЕГЭ 2. Для какого имени истинно высказывание: ¬ (Первая буква имени гласная -> Четвертая буква имени согласная)? Ответ: 3 1) ЕЛЕНА 2) ВАДИМ 3) АНТОН 4) ФЕДОР

13 слайд

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