Логическое ДОКАЗАТЕЛЬСТВО тавтологии (упражнение!)

Пропозициональная логика, особенно изучаемая на курсе дискретной математики, часто охватывает (1) закон тождества, (2) закон доминирования, (3) закон отрицания и (4) закон поглощения. В математической логике они определяются как логические эквивалентности. Учебное пособие по пропозициональной логике: https://amateurlogician.com/propositional-logic/ (Примечание: это учебное пособие находится в процессе разработки!) Законы тождества, доминирования, отрицания и поглощения: https://www.youtube.com/watch?v=hIMaZP-1b2M Подпишитесь на рассылку Amateur Logician: https://amateurlogician.com/newsletter/ Поддержите меня чашечкой кофе: https://www.buymeacoffee.com/amateurlogician Пожалуйста, рассмотрите возможность поддержать мою работу таким образом. Спасибо!