Логическая головоломка — это головоломка , вытекающая из математической области дедукции .
Логическая головоломка была впервые создана Чарльзом Лютвиджем Доджсоном , который более известен под псевдонимом Льюис Кэрролл, автором « Приключений Алисы в Стране чудес» . В своей книге «Игра логики» он представил игру для решения таких задач, как подтверждение вывода «Некоторые борзые не толстые» из утверждений «Ни одно толстое существо не бегает хорошо» и «Некоторые борзые не бегают хорошо». [1] Такие головоломки, где нам дают список посылок и спрашивают, что можно вывести из них, известны как силлогизмы . [ требуется цитата ] Доджсон продолжает строить гораздо более сложные головоломки, состоящие из 8 посылок. [ требуется цитата ]
Во второй половине 20-го века математик Рэймонд М. Смаллиан продолжил и расширил ветвь логических головоломок такими книгами, как «Леди или тигр?» , «Пересмешник» и «Алиса в Стране Головоломок » . Он популяризировал головоломки « рыцари и лжецы », в которых участвуют рыцари, которые всегда говорят правду, и лжецы, которые всегда лгут. [ требуется ссылка ]
Существуют также логические головоломки, которые по своей природе полностью невербальные. Некоторые популярные формы включают судоку , которое включает в себя использование дедукции для правильного размещения чисел в сетке; нонограмму , также называемую «Раскраска по номерам», которая включает в себя использование дедукции для правильного заполнения сетки черными и белыми квадратами для получения изображения; и логические лабиринты , которые включают в себя использование дедукции для выяснения правил лабиринта. [ необходима цитата ]
Другая форма логической головоломки, популярная среди любителей головоломок и доступная в журналах, посвященных этой теме, представляет собой формат, в котором дана установка сценария, а также объект (например, определить, кто привел какую собаку на выставку собак, и какой породы была каждая собака), даются определенные подсказки («ни Мисти, ни Рекс не являются немецкой овчаркой»), а затем читатель заполняет матрицу подсказками и пытается вывести решение. Их часто называют головоломками «логической сетки». Набор данных головоломок логической сетки может быть любым количеством категорий, но ограничен соответствующим увеличением сложности, при этом большинство имеет только две, три или даже четыре категории.
Хотя эта головоломка больше похожа на таблицу, чем на матрицу, самым известным примером логической сетки может быть так называемая головоломка «Зебра» , в которой задается вопрос «Кому принадлежала зебра?» .
В журналах с логическими головоломками часто встречаются производные от логической сетки, называемые «настольными головоломками», которые выводятся таким же образом, как и сетки, но не имеют сетки, либо потому, что сетка была бы слишком большой, либо потому, что предоставлена какая-то другая визуальная помощь. Например, карта города может присутствовать вместо сетки в головоломке о местоположении различных магазинов.