Мат логика(горю) Опции

[Сергей33]

Народ, помогите плиз, препод говорит что пример легкий, но я чтот не могу его сосвем решить. Собственно вот он:

(X -> Y) |- ((!X->Y) -> Y)

решать надо без таблиц истинности, и написать построение вывода по пунктам, их там по идее штук 5-6 должно быть. Воть. Хелп плиззз

[Altair]

мисс_граффити,

|-

это "Выводимо" врооде бы... я тоже помню у нас такой символ был, и кажется он значит именно "выводимо"
А решение примера идет с помощью применения аксиом и правил логики, если не ошибаюсь их всего там около десятка...
Последовательно применяя их, можно действительно доказать, что из 1 формулы выводима вторая.
И там действительно обычно получается 5-10 пунктов...