Народ, помогите плиз, препод говорит что пример легкий, но я чтот не могу его сосвем решить. Собственно вот он:
(X -> Y) |- ((!X->Y) -> Y)
решать надо без таблиц истинности, и написать построение вывода по пунктам, их там по идее штук 5-6 должно быть. Воть. Хелп плиззз
Что значит |- ?
И что, собственно, надо сделать? Привести к СДНФ/СКНФ?
мисс_граффити,
Есть много методов доказательста выводимости...не только с помощью набора аксиом, а гораздо быстрее,
метою дедукции,редукции и т.д
Примем X=0
тогда наше выражение примет вид
0->Y |- ((1->Y)->Y)
при таком условии левая часть будет равна единице только тогда,когда Y=0
подставляем Y=0 в правую часть,получаем что она тоже равна единице
=> левая часть логически имплицирует(или выводима,хрен знает) правой
Мне кажется что аксиоматический метод сдесь не подойдет,так как выражение слишком короткое,скорее всего это и есть одна из аксиом.
А, кстати да, НеКто прав!Теоремы дедукции тоже можно применять!
Да НеКто вообще всегда прав,он же НеКто!!!
М | А вот тут ты не прав, флеймить не надо! |