помогите доказать секвенции по мат логике

[Garun99]

помогите пожалуйста решить секвенции по мат логике)))
1) Ф1, отрицание (ф1 дизъюнкция ф2) -| Ф3
2) (Ф1 стрелка Ф2), отрицаниеФ2 -| (Ф3 стрелка Ф1)

не знаю как знаки здесь написать поэтому написал словесно,,,помогите кто нибудь срочно

[Toucan]

Тема перемещена в Карантин.

1. Запишите формулы в соответствии с требованиями Правил форума, т.е. в $\TeX$.
Краткие инструкции можно найти здесь: topic8355.html и topic183.html.
Кроме этого, в теме Видео-пособия для начинающих форумчан можно посмотреть видео-ролик "Как записывать формулы".

2. Приведите свои попытки решения задач и объясните, что конкретно вызывает затруднения.

После того как исправите сообщение, сообщите об этом в теме Сообщение в карантине исправлено.