Придет ли тогда Мэри?

+5.Øm Допустим, она не придет. [цель: прот.]

6. Ør (3, 5 Éи) Тогда не придет и Ричард.

Мы получили противоречие (6 противоречит 4). Придется отрицать последнее допущение. Закрываем этот подвывод.

7. ØØm (4, 6 Øв)

8. m (7 Øи) Мэри все-таки придет

9. d (2, 8 Éи) Значит, придет и Дэвид

10. Øj (1,9 Éи) Следовательно, не придет Джулия.

Итак, из предположения, что придет Ричард, мы с необходимостью получаем, что не явится Джулия. Это и требовалось доказать. Вводим импликацию и снова закрываем подвывод.

11.r É Øj (10 Éв)

<== предыдущая страница	\|	следующая страница ==>
Последнее требование (требования исключать некоторые формулы из дальнейших шагов вывода) означает, что эти формулы уже были использованы и возвращаться к ним более нельзя. Почему?	\|	Конечно, данный вывод можно было строить и другими способами. Все зависит от того, какие допущения и в каком порядке мы выбираем

Дата добавления: 2015-06-30; просмотров: 162; Нарушение авторских прав

Мы поможем в написании ваших работ!

lektsiopedia.org - Лекциопедия - 2013 год. | Страница сгенерирована за: 0.001 сек.