Тавтология в логике: как избегать избыточных утверждений