Главная страница Случайная лекция
Мы поможем в написании ваших работ!
Порталы:
БиологияВойнаГеографияИнформатикаИскусствоИсторияКультураЛингвистикаМатематикаМедицинаОхрана трудаПолитикаПравоПсихологияРелигияТехникаФизикаФилософияЭкономика
Мы поможем в написании ваших работ!
Конечно, данный вывод можно было строить и другими способами. Все зависит от того, какие допущения и в каком порядке мы выбираем
Но лучше делать это не наобум, а руководствуясь определенными эвристиками. (Эвристика – тактический прием, упрощающий процедуру поиска решения.)
Эвристики, основанные на анализе цели:
| № | Цель | Допущение | Новая цель |
| А | ØА | противоречие | |
| ØА | А | противоречие | |
| А É В | А | В | |
| А & B | А, потом В (или наоборот) | ||
| А Ú B | ØА, | противоречие | |
| потом ØВ | противоречие |
Так, в приведенном выше рассуждении про Ричарда и Джулию были использованы эвристики №3 и №1 (см. указания о введении новых целей на шагах 4 и 5).
Конечно, в процессе построения вывода необходимо держать в уме не только поставленные цели, но и достигнутые на каждом шаге результаты.
Эвристики, основанные на анализе вывода:
| № | В выводе есть формула | Поставленная цель | Допущение | Новая цель |
| А Ú В | В | А | противоречие, чтобы затем получить ØА, а из него – В | |
| Ø(А Ú В) | противоречие | А (либо В) | А Ú В, чтобы возникло протворечие | |
| А É В | В | ØА | противоречие, чтобы затем получить А, а из него – В |
Упражнение 11. При помощи системы субординатного вывода обоснуйте следующие рассуждения. Укажите, какие эвристики вы при этом использовали.
А) В одном доме живут трое друзей – Иванов, Петров и Сидоров. Иванов практически не пьет, а если иногда и напивается, то только вместе с Сидоровым. Сидоров никогда не пьянствует в одиночку – когда Иванов и Петров трезвы, он тоже оказывается трезвым. Петров и Сидоров через день работают ночными сторожами на оптовом складе, поэтому хотя бы один из них всегда должен быть трезв, чтобы заступить на дежурство. В прошлое воскресенье Сидоров был пьян, праздновал День Танкиста. Докажите, что и Иванов в такой день не мог оставаться трезвым.
Б) Если Динамо не выиграет следующий свой матч, то в случае, если Спартак выиграет свой, он станет чемпионом. Если же и Спартак и Динамо победят в своих следующих встречах, Торпедо уже не может рассчитывать на второе место. Следовательно, если Торпедо все-таки займет второе место, а Спартак не станет чемпионом, то только потому, что он проиграл свой матч.
В) Если в мире существует зло, то Бог, если он всеведущий, должен знать об этом. Если Бог знает о существовании зла, но не может его исправить, то он не всемогущий. Если же он может его исправить, но не исправляет, то он не всеблагой. Но Бог по определению является всеведущим, всеблагим и всемогущим. Следовательно, если зло существует, то оно будет им исправлено.
Обратите внимание, что в рассуждении про Ричарда и Джулию мы опирались на некоторые изначально данные условия (шаги 1-3). Полученное заключение справедливо лишь для этих условий, но не является логическим законом (теоремой) само по себе. Теперь необходимо ввести еще два определения:
| <== предыдущая страница | | | следующая страница ==> |
| Придет ли тогда Мэри? | | | Язык классической логики предикатов первого порядка |
Дата добавления: 2015-06-30; просмотров: 182; Нарушение авторских прав
Мы поможем в написании ваших работ!