Разбор логических компонентов доказательства: примеры и пояснения