Версия для печати темы

Нажмите сюда для просмотра этой темы в обычном формате

Форум «Всё о Паскале» _ Математика _ Мат логика(горю)

Автор: Сергей33 31.01.2007 6:10

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

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

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

Автор: мисс_граффити 31.01.2007 15:19

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

Автор: Altair 31.01.2007 17:16

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

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

Автор: НеКто 1.02.2007 1:32

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

Автор: НеКто 1.02.2007 2:01

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


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

Автор: Altair 1.02.2007 2:42

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

Автор: НеКто 1.02.2007 3:18

Да НеКто вообще всегда прав,он же НеКто!!!
lol.gif lol.gif lol.gif lol.gif lol.gif
М
А вот тут ты не прав, флеймить не надо!