9 класс - Подготовка к ГИА-9 2012 (Семёнов А.В.)

Свойства логических операций (Законы логики)

Для любых логических формул F,G,Q истинны следующие равносильности.

1. Закон двойного отрицания:

2. Идемпотентность операций коньюнкции и дизьюнкции:

3. Коммутативность операций коньюнкции и дизьюнкции:

4. Ассоциативность операций коньюнкции и дизьюнкции:

5. Дистрибутивные законы каждой из операций коньюнкции и дизьюнкции относительно другой:

6. Законы поглощения:

7. Законы де Моргана:

8. Закон исключённого третьего:

9. Закон противоречия:

10. Свойства тавтологии и противоречия:

11. Закон контрапозиции:

12. Правило исключения импликации:

13. Правило исключения эквиваленции:

Основные законы логики