Законы логики Законы логики отражают важные закономерности логического мышления. Законы записываются в виде формул, которые позволяют проводить эквивалентные. - презентация

1

2

3 Законы логики

4 Законы логики отражают важные закономерности логического мышления. Законы записываются в виде формул, которые позволяют проводить эквивалентные преобразования логических выражений.

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

6 A&A = A A A = A 2. Закон идемпотентности

7 A&1 = A, A&0 = 0 A 1 = 1, A 0 = А 3. Законы исключения констант

8 A & A = 0 4. Закон противоречия

9 A A = 1 5. Закон исключения третьего

10 A&(A B) = A A (A&B) = A 6. Закон поглощения

11 (A B)&(A B) = B (A & B) (A&B) = B 7. Закон исключения (склеивания)

12 A&B = A B A B = A&B 8. Закон инверсии

13 A&B = В&А A B = В А 9. Переместительный (коммутативный) закон

14 (A&B)&С = А&(В&С) (A B) С = А (В С) 10. Сочетательный (ассоциативный) закон

15 A&(B С) = (А&В) (А&С) A (B&С) = (А В)&(А С) 11. Распределительный (дистрибутивный) закон

16 Справедливость этих законов можно доказать с помощью таблиц истинности, вычисляя значение левой и правой частей доказываемого логического выражения.