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

Презентация:



Advertisements
Похожие презентации
Презентация к уроку по информатике и икт по теме: Логические операции (презентация)
Advertisements

Тематический блок «Основы логики». Типы заданий Обозначение задания в работе Проверяемые элементы содержания Уровень сложности задания А3Умения строить.
Алгебра логики. - наука об общих операциях над высказываниями, позволяет определить его значение, отвлекаясь от содержания Алгебра логики Алгебра высказываний,
Логические выражения и операции. Булева алгебра (алгебра логики, алгебра высказываний) алгебра высказываний) Джордж Буль разработал основы алгебры, в.
Шинкаренко Евгений Александрович МОУ Гимназия 2 г.Черняховск Калининградской области.
Логическая информация и основы логики Цель: Познакомиться с основными понятиями логики.
ОСНОВЫ ЛОГИКИ Повторение Подготовил учитель информатики и ИКТ МОБУ «Ленинская СОШ1 им. Борисова П.С. Антропова С.Ю.
Сложные высказывания можно записывать в виде формул. Для этого простые логические высказывания нужно обозначить как логические переменные буквами и связать.
Высказывание (суждение) – это последовательное предложение, в котором что-либо утверждается или отрицается.
Цели урока: Познакомить учащихся с основными логическими операциями Выработать навыки построения таблиц истинности сложных высказываний.
Основные понятия алгебры логики. Логические операции. Урок 1: Урок 1:
Логические операции. Сложные высказывания строятся из простых с помощью логических операций.
Алгебра высказываний. Алгебра и логика Простые высказывания в алгебре логики обозначаются заглавными латинскими буквами: А = {Аристотель - основоположник.
Логические схемы Урок 5. Логические схемы Одним из наиболее удобных способов представления логических выражений является логическая схема. Всего существует.
ЛогикаЛогика. Логика – это наука о формах и способах мышления. Это учение о способах рассуждений и доказательств. Мышление всегда осуществляется через.
Логические операции и таблицы истинности Учитель информатики Поборцева Елена Валентиновна.
Алгебра высказываний Угринович Н. Информатика и информационные технологии п Алгебра высказываний. – с.125.
Логические основы устройства компьютера. В вычислительной технике для построения более сложных логических устройств используются три основных логических.
Логические задачи Презентация Задача 1 Дана фраза: "Если монета упадёт орлом вверх, то я сегодня не пойду в кино". Пусть логическая переменная Х.
Оля ? Надя Логические выражения умеет кататься на коньках хорошо учится посмотрит телевизор пойдет на концерт Простые логические выражения И И ЛИ Сложные.
Транксрипт:

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

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

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

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

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

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

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

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

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

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

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

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

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