Презентация на тему Логические законы

Содержание

2. Закон тождестваЗакон непротиворечияЗакон исключенного третьегоЗакон двойного отрицанияЗаконы
3. Закон тождестваВсякое высказывание тождественно самому себеА = А
4. Закон непротиворечияВысказывание не может быть одновременно истинным и ложным
5. Закон исключенного третьего Высказывание может быть либо истинным, либо ложным, третьего не дано.
6. Закон двойного отрицания Если дважды отрицать некоторое высказывание, то в результате получим исходное высказывание.
7. Законы общей инверсии (законы де Моргана) Для логического сложения Для логического умножения
8. Закон коммутативности (переместительный) Для логического сложения Для логического умножения
9. Закон ассоциативности (сочетательный) Для логического сложения
10. Закон дистрибутивности (распределительный) Дистрибутивность сложения относительно
11. В обычной алгебре справедлив распределительный закон только
12. Закон идемпотентности (равносильности) Для логического сложения Для логического умножения
13. Законы исключения констант Для логического сложения Для логического умножения
14. Законы поглощения Для логического сложения Для логического умножения
15. Законы исключения (склеивания) Для логического сложения Для логического умножения
16. Закон контрапозиции (правило перевертывания)
17. Выразить импликацию через дизъюнкцию
18. Скачать презентацию
19. Похожие презентации

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Слайды презентации

Слайд 2 Закон тождества
Закон непротиворечия
Закон исключенного третьего
Закон двойного отрицания
Законы общей

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

инверсии (законы де Моргана)
Закон коммутативности
Закон ассоциативности
Закон дистрибутивности
Закон идемпотентности (равносильности)
Законы

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