Модель дизъюнкции, вероятно, присутствует в большинстве логических головоломок. Муравьи двигаются по часовой стрелке, или против часовой стрелки. но вам неизвестно, как именно; в корзине для пикника могут быть или яблоки, или апельсины, или и то и другое. но вам неизвестно, что именно; может быть один гном с красным камнем, или два, или три, или десять тысяч. но вам неизвестно, сколько именно; самый медлительный путешественник может перейти через реку по подвесному мосту первым, или вторым, или последним. но вы не знаете, каким именно.
В подобных ситуациях человеческой натуре свойственно заявить: «Давайте начнем действовать, посмотрим, что произойдет, и тогда решим, что делать». Но при решении логических задач никто не станет сообщать вам недостающую информацию. Вам придется сказать себе: «Ну хорошо, мне не хватает информации. Придется продумать все возможные сценарии и будем надеяться, что я сумею прийти к определенному выводу несмотря на отсутствие информации».
Почему люди не хотят рассуждать на основе неопределенных предпосылок? Одно из объяснений — мы опасаемся, что напрасно потратим время и усилия. Вы же не знаете: может быть, после того, как вы разрешили одну неопределенность, появится еще одна, а потом и еще, и еще, и еще.
В реальной жизни это весьма вероятно, но логические головоломки отличаются от реальных жизненных ситуаций. Это «игрушечные проблемы», которые специально так задуманы, чтобы у них были решения, которые вы можете отыскать.
Головоломку потому и называют головоломкой, что у нее есть два обязательных качества: во-первых, ее трудно решить и, во-вторых, у нее есть правильный ответ. Вы должны быть готовы не останавливаться уже на первой дизъюнкции (без труда не вытянешь и рыбку из пруда!). Вот чем отличаются люди, умеющие решать головоломки, от тех, кто не умеет этого делать. После того как вы справитесь с первой дизъюнкцией, вы почти наверняка обнаружите, что ситуация значительно проще, чем она вам первоначально представлялась. «Дерево» возможных решений ветвится не бесконечно — и все пути ведут к решению. Это относится почти ко всем логическим задачам.
Дизъюнктивные рассуждения, такие трудные для большинства людей, — это то, с чем отлично справляются компьютеры. Есть эффективные алгоритмы для исследования «дерева возможностей» и поиска «пути к решению» — вспомните, как быстро поисковая система в интернете Yahoo! сообщает вам запрошенную информацию. В хорошей компьютерной программе именно такие алгоритмы и используются, поэтому программисты должны владеть дизъюнктивными рассуждениями.
