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

1

2 1. Закон тождества. Всякое высказывание тождественно самому себе: 2. Закон непротиворечия. Высказывание не может быть одновременно истинным и ложным. 3. Закон исключенного третьего. Высказывание может быть либо истинным, либо ложным, третьего не дано

3 4. Закон двойного отрицания. Если дважды отрицать некоторое высказывание, то в результате мы получим исходное высказывание: 5. Законы равносильности. В алгебре логики нет показателей степеней и коэффициентов. Конъюнкция одинаковых «сомножителей» равносильна одному из них: Дизъюнкция одинаковых «слагаемых» равносильна одному:

4 6. Законы де Моргана: 7. Правило коммуникативности (переместительный закон) Логическое умножение: Логическое сложение: 8. Правило ассоциативности (сочетательный закон) Логическое умножение: Логическое сложение:

5 9. Правило дистрибутивности (распределительный закон) Дистрибутивность умножения относительно сложения: Дистрибутивность сложения относительно умножения: 10. Законы исключения констант Для логического сложения Для логического умножения

6 11. Законы поглощения: 12. Закон исключения (закон склеивания): Для сложения Для умножения

7 13. Законы контрапозиции (правило перевертывания): Для эквиваленции: А В = В А Для следования: А В = В А 14. Правило исключения импликации (следования): А В =