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

Август 26, 2022

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

Содержание

2. Импликация Импликация (условное высказывание). В русском языке этой логической операции соответствуют союзы если ..., то; когда
3. Языковой аналог — союзы если и только если; тогда и только тогда, когда ... Эквивалентность обозначается
4. Пример 1 Дано сложное высказывание: «Если выглянет солнце, то станет тепло». Преобразовать к логической формуле. Решение.
5. Пример 2 Дано сложное высказывание: «Людоед голоден тогда и только тогда, когда он давно не ел».
6. Таблица истинности операций импликации и эквивалентности
7. Задача: определите истинность формулы: F = ((С v В) -> В) & (А & В) ->
8. Задачи Определите истинность формул: ((a v ¬b) -> b) /\ (¬а v b) ¬(а /\ b)
9. Задачи из ЕГЭ 1. Для какого из указанных значений числа X истинно высказывание: (X>4) \/ ((X>1)
10. Задачи из ЕГЭ 1. Для какого из указанных значений числа X истинно высказывание: (X>4) \/ ((X>1)
11. Задачи из ЕГЭ 2. Для какого имени истинно высказывание: ¬ (Первая буква имени гласная -> Четвертая
12. Задачи из ЕГЭ 2. Для какого имени истинно высказывание: ¬ (Первая буква имени гласная -> Четвертая
14. Скачать презентацию

Слайд 2

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

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

Слайд 3

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

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

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

Слайд 4

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

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

Слайд 5

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

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

Слайд 6