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

Нажмите для полного просмотра!

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

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

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

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

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

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

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

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

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

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

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

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

Содержание ▲

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

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

Слайд 1

Описание слайда:

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

Слайд 2

Описание слайда:

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

Слайд 3

Описание слайда:

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

Слайд 4

Описание слайда:

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

Слайд 5

Описание слайда:

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

Слайд 6

Описание слайда:

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

Слайд 7

Описание слайда:

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

Слайд 8

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

Описание слайда:

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

Слайд 9

Описание слайда:

Задачи из ЕГЭ 1.

Слайд 10

Описание слайда:

Задачи из ЕГЭ 1.

Слайд 11

Описание слайда:

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

Слайд 12

Описание слайда:

Слайд 13

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

Описание слайда:

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