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

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

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

Что значит |- ?
И что, собственно, надо сделать? Привести к СДНФ/СКНФ?

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

Есть много методов доказательста выводимости...не только с помощью набора аксиом, а гораздо быстрее,
метою дедукции,редукции и т.д

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


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

А, кстати да, НеКто прав!Теоремы дедукции тоже можно применять!

Да НеКто вообще всегда прав,он же НеКто!!!

М

А вот тут ты не прав, флеймить не надо!