Логические законы. Закон тождества Закон непротиворечия Закон исключенного третьего Закон двойного отрицания Законы общей инверсии (законы де Моргана)

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



Advertisements
Похожие презентации
1. Закон тождества. Всякое высказывание тождественно самому себе: 2. Закон непротиворечия. Высказывание не может быть одновременно истинным и ложным.
Advertisements

ЛОГИЧЕСКИЕ ЗАКОНЫ И ПРАВИЛА ПРЕОБРАЗОВАНИЯ ЛОГИЧЕСКИХ ВЫРАЖЕНИЙ.
Законы логики Законы логики Законы логики Законы логики Упрощение сложных высказываний Упрощение сложных высказываний.
Логические законы и правила преобразования логических выражений.
Логические законы и правила преобразования логических выражений A A=0 Соловьева О. А. (A+B)= A B A+ A=1.
Важнейшие равносильности алгебры логики. 1. Закон двойного отрицания 2. Коммутативность конъюнкции (X*Y=Y*X) 3. Коммутативность дизъюнкции (X+Y=Y+X)
Законы логики. Закон тождества: всякое высказывание тождественно самому себе Закон непротиворечия: высказывание не может быть одновременно истинным и.
ДИКТАНТ 1. Напишите таблицу истинности для операции конъюнкция 2. Напишите таблицу истинности для операции дизъюнкция 3. Напишите таблицу истинности для.
Логические законы Правила преобразования логических выражений.
Методика изучения темы «Представление информации». Язык логики и его место в базовом курсе информатики. Выполнила: Студентка 5-го курса Килина Е.П. группа.
Логические законы и правила преобразования логических выражений.
Учитель информатики МАОУ СОШ 18 Борисова И. Н. A v B а в а + в А ~ В А | В А В.
Логические законы и правила преобразования логических выражений.
Законы логики. Ответьте на вопросы: Как выглядит таблица истинности для операции ЭКВИВАЛЕНТНОСТИ? С помощью какой связки слов составляется высказывание.
С помощью логических переменных и символов логических операций любое высказывание можно заменить логическим выражением ( формулой). Алгебра логики – это.
логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся истинным тогда и только тогда, когда.
Презентация Сырцовой С.В.. ВСПОМНИМ ПРОШЛЫЙ УРОК Как выглядит таблица истинности для операции ЭКВИВАЛЕНТНОСТИ? С помощью какой связки слов составляется.
Повторение На какое выражение можно заменить ИМПЛИКАЦИЮ?
Законы логики Законы формальной логики Законы алгебры высказываний.
Логические законы и правила преобразования логических выражений.
Транксрипт:

Логические законы

Закон тождества Закон непротиворечия Закон исключенного третьего Закон двойного отрицания Законы общей инверсии (законы де Моргана) Закон коммутативности Закон ассоциативности Закон дистрибутивности Закон идемпотентности (равносильности) Законы исключения констант Законы поглощения Законы исключения (склеивания) Закон контрапозиции (правило перевертывания) Выразить импликацию через конъюнкцию Выразить эквивалентность через базовые логические операции

Закон тождества Всякое высказывание тождественно самому себе А = А

Закон непротиворечия Высказывание не может быть одновременно истинным и ложным

Закон исключенного третьего Высказывание может быть либо истинным, либо ложным, третьего не дано.

Закон двойного отрицания Если дважды отрицать некоторое высказывание, то в результате получим исходное высказывание.

Законы общей инверсии (законы де Моргана) Для логического сложения Для логического умножения

Закон коммутативности (переместительный) Для логического сложения Для логического умножения

Закон ассоциативности (сочетательный) Для логического сложения Для логического умножения Если в логическом выражении используется только операция логического сложения или логического умножения, то можно пренебрегать скобками или расставлять их произвольно:

Закон дистрибутивности (распределительный) Дистрибутивность сложения относительно умножения Дистрибутивность умножения относительно сложения В алгебре высказываний можно выносить за скобки как общие множители, так и общие слагаемые.

В обычной алгебре справедлив распределительный закон только для сложения: (A+B)C=AC+BC

Закон идемпотентности (равносильности) Для логического сложения Для логического умножения

Законы исключения констант Для логического сложения Для логического умножения

Законы поглощения Для логического сложения Для логического умножения

Законы исключения (склеивания) Для логического сложения Для логического умножения

Закон контрапозиции (правило перевертывания)

Выразить импликацию через дизъюнкцию

Выразить эквивалентность через базовые логические операции