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

[Сергей33]

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

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

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

[НеКто]

Примем X=0
тогда наше выражение примет вид
0->Y |- ((1->Y)->Y)
при таком условии левая часть будет равна единице только тогда,когда Y=0
подставляем Y=0 в правую часть,получаем что она тоже равна единице
=> левая часть логически имплицирует(или выводима,хрен знает) правой


Мне кажется что аксиоматический метод сдесь не подойдет,так как выражение слишком короткое,скорее всего это и есть одна из аксиом.