Логика и теория аргументации. Скачков А.С. - 82 стр.

14. ¬(А⊃В)≡(А∧¬В) — закон отрицания импликации.

15. (А⊃(В⊃С))⊃((А⊃В)⊃(А⊃С)) — закон самодистрибутивности и имплика-
ции.

16. (А⊃В)⊃((В⊃С)⊃(А⊃С)),
    (А⊃В)⊃((С⊃А)⊃(С⊃В)) — законы транзитивности импликации.

17. (А∧В)≡(В∧А),
    (А∧(В∨С)) — законы коммутативности конъюнкции и дизъюнкции.

18. ((А∧В)∧С)≡(А∧(В∧С)),
    ((А∨В)∨С)≡(А∨(В∨С)) — законы ассоциативности конъюнкции и дизъ-
юнкции.

19. (А∧(В∨С))≡((А∧В)∨(А∧С)),
    (А∨В)≡(В∨А) — законы дистрибутивности конъюнкции относительно
дизъюнкции, и наоборот.

20. ((А∧(А∨В))≡А,
    (А∨(А∧В))≡А — законы поглощения.

21. (А∧А)≡А,
    (А∨А)≡А — законы идемпотентности.

22. ((А⊃В)⊃А)⊃А — закон Пирса.

23. (А⊃(В⊃С))⊃((А∧В)⊃С) — закон импортации.

24. ((А∧В)⊃С)⊃(А⊃(В⊃С)) — закон экспортации.

25. (А⊃В)⊃((А∧С)⊃(В∧С)),
    (А⊃В)⊃((А∨С)⊃(В∨С)) — законы монотонности.

26. (А⊃В)⊃(¬В⊃¬А) — закон контрапозиции.

27. (¬В⊃¬А)⊃(А⊃В) — закон обратной контрапозиции.

28. ((А∧В)⊃С)≡((А∧¬С)⊃¬В),
    (А⊃(В∨С))≡(¬В⊃(¬А∨С)) — законы сложной контрапозиции.

29. ¬(А∧В)≡(¬А∨¬В),
    ¬(А∨В)≡(¬А∧¬В) — законы де Моргана.

                                 82