Нужна помощь в доказательстве правила вывода исчисления высказывания, пыталась доказать правило к, конец/середина правильно, но 8 правило применено не совсем правильно, не хватает части выражения, которую я не смогла вывести (слева около вопроса). Помощь нужна в том, какие правила нужно применить чтобы из изначальной получить тот недостающие кусок