<<  Логическое следование Импликация Логическая равносильность Эквиваленция  >>
A

A. B. A ? B. 0. 0. 1. 0. 1. 1. 1. 0. 0. 1. 1. 1. Высказывание A?B ложно в том и только в том случае, когда условие (первое высказывание A) истинно, а следствие (второе высказывание B) ложно. Правило контрапозиции (перевертывания). Представление импликации через конъюнкцию, дизъюнкцию и инверсию.

Слайд 13 из презентации «Решение логических задач»

Размеры: 720 х 540 пикселей, формат: .jpg. Чтобы бесплатно скачать слайд для использования на уроке, щёлкните на изображении правой кнопкой мышки и нажмите «Сохранить изображение как...». Скачать всю презентацию «Решение логических задач.ppt» можно в zip-архиве размером 335 КБ.

Похожие презентации

краткое содержание других презентаций на тему слайда

«Таблица истинности» - Пример 2. Укажите, какое логическое выражение равносильно выражению ¬(A \/ ¬ B \/ C) 1) ¬A \/ B \/ ¬C 2) A /\ ¬B /\ C 3)¬A \/ ¬B \/ ¬C 4) ¬A /\ B /\ ¬C Решение: ¬(A \/ B)= ¬A /\ ¬B ¬(¬ A) = A ¬(A \/ ¬ B \/ C) = ¬A /\ ¬(¬B) /\ ¬C = ¬A /\ B /\ ¬C Ответ 4. Запишем высказывания Если не будет ветра, то будет пасмурная погода без дождя ¬В ? П /\ ¬Д Если будет дождь, то будет пасмурно и без ветра Д ? П /\ ¬В.

«Понятие логического высказывания» - В основе современной логики лежат учения. Какие из предложений являются высказываниями. Основы логики. Как человек мыслит. Два простых высказывания. Записать в виде логического выражения следующее высказывание. Составные высказывания на обычном языке. Дизъюнкция. Логические операции – логические действия.

«Логические законы» - Пример. Логические законы и правила преобразования логических выражений. Двойное отрицание исключает отрицание. Закон означает отсутствие показателей степени. Закон исключения констант. Переместительный (коммутативный) закон. Закон исключения третьего. Закон поглощения. Для логического сложения: Для логического умножения:

«История алгебры логики» - Основной Закон Буля. Вопросы. Аристотель. История науки алгебры логики. Определение формы. Умозаключение. Высказывание – это форма мышления. Вильгельм Лейбниц (1646-1716). Понятие. Булева алгебра. Логика– это наука о формах и способах мышления. Содержание. Джордж Буль. Формы мышления.

«Правила преобразования логических выражений» - Найти значение логической переменной Х из логического уравнения Х v A v X v A = В. (Х v A) v (X v A) = В (Х & A) v (X & A) = В Х & (A v A) = В Х & 1 = В Х = В Х = В. Преобразование логического выражения. Логические законы и правила преобразования логических выражений. Правила равносильности А v A = А A & A = A Правила исключения констант А v 1 = 1 А v 0 = A А & 1 = A A & 0 = 0.

«Примеры логических функций» - Логические функции. В нарушении правил обмена валюты подозреваются четыре банка. Определение. Определите, кто из подозреваемых участвовал в преступлении. Определить истинность формулы. Определите значение формулы, упростив и построив таблицу истинности. Банк B нарушил правила обмена валюты. Логические функции двух переменных.

Алгебра логики

19 презентаций об алгебре логики
Урок

Алгебра

35 тем