Требуется составить верную секвенцию и доказать ее двумя способами: от противного и методом резолюции
ДЗ на логику предикатов
Сориты Льюиса Кэролла
ПРИМЕР ИСХОДНОЙ СИСТЕМЫ ПОСЫЛОК:
- Все полисмены в этой округе ужинают у нашей кухарки
- Человек с длинными волосами не может не быть поэтом
- Амос Джадд никогда не сидел в тюрьме
- Все кузены нашей кухарки любят холодную баранину
- В этой округе не других поэтов, кроме полисменов
- С нашей кухаркой не ужинает никто, кроме ее кузенов
- Все люди с короткими волосами сидели в тюрьме
РЕШЕНИЕ
ВЕРНОЕ ЗАКЛЮЧЕНИЕ: Амос Джадд любит холодную баранину
Цепочка посылок: 3,7,2,5,1,6,4
Предметная область М={люди}
Амос Джадд – предметная постоянная
Одноместные предикаты-свойства:
- быть полисменом,
- ужинать у нашей кухарки,
- иметь короткие волосы,
- сидеть в тюрьме,
- быть кузеном нашей кухарки,
- любить холодную баранину,
- быть поэтом.
Требуется составить верную секвенцию и доказать ее двумя способами: от противного и методом резолюции
- Ни один щенок не бегает среди знаков Зодиака
- То, что не бегает среди знаков Зодиака, не может быть кометой
- 3. Только у щенка бывает хвост колечком
- Мои кастрюли – единственные предметы, сделанные из олова
- Я нахожу все ваши подарки очень полезными
- Ни одна из моих кастрюль не приносит пользы
1. Котенка, который любит рыбу, можно дрессировать
2. Котенок без хвоста не будет играть с гориллой
3. Котенок с усами всегда любит рыбу
4. У котенка, которого можно дрессировать, не бывает зеленых глаз
5. Если у котенка нет хвоста, то нет и усов
- Поэты, понимающие природу человека, умны
- Только истинный поэт может взволновать душу
- Шекспир написал «Гамлета»
- Поэт, не пони мающий природы человека, не может взволновать душу
- Только истинный поэт мог написать «Гамлета»
- Я не люблю того, что не может служить мостом
- Все, о чем можно написать стихи, будет для меня хорошим подарком
- Радуга не выдержит веса тачки
- То, что может служить мостом, должно выдерживать вес тачки
- Я не приму в подарок того, чего не люблю
6
1. Животные, не умеющие брыкаться, всегда флегматичны
2. У осла не рогов
3. Буйвол всегда может перебросить вас через забор
4. Животное, не умеющее брыкаться, нелегко проглотить
5. Животное без рогов не может перебросить вас через забор
6. Из всех животных флегматичен только буйвол
- Муж, дарящий жене новые платья, не может быть упрямым
- Аккуратный муж всегда приходит домой к чаю
- Того, кто вешает шляпу на газовый рожок, нелегко содержать в порядке
- Хороший муж дарит жене новые платья
- Муж всегда бывает упрямым, если жена не содержит его в порядке
- Неаккуратный муж всегда вешает шляпу на газовый рожок
- Я не считаю день несчастливым, когда Робинсон вежлив со мной
- Вторники всегда бывают пасмурными
- Когда люди идут с зонтиками, день никогда не бывает ясным
- Единственный день, когда Робинсон невежлив со мной, это вторник
- Всякий берет с собой зонтик, когда идет дождь
- Мои счастливые дни всегда бывают ясными
- Я люблю животных, которые принадлежат мне
- Собаки грызут кости
- Я впускаю к себе животных, если они «служат», когда их об этом попросишь
- Все животные в этом дворе принадлежат мне
- Я впускаю к себе всех животных, которых люблю
- Только собаки «служат», когда их об этом попросишь
- Все датированные письма написаны на синей бумаге
- Черными чернилами написаны только те письма, которые написаны в третьем лице
- Я не прячу ни одно из писем, которое могу прочесть
- Все письма, написанные на одной странице, не датированы
- Все письма, которые не зачеркнуты, написаны черными чернилами
- Все письма, написанные Броуном, начинаются словами «Дорогой друг»
- Все письма, написанные на синей бумаге, спрятаны
- Все письма, написанные больше, чем на одной странице, не зачеркнуты
- Ни одно письмо, начинающееся словами «Дорогой друг», не написано в третьем лице
- Малые дети неразумны
- Тот, кто может укрощать крокодилов, заслуживает уважения
- Неразумные люди не заслуживают уважения
- Все колибри имеют яркое оперение
- Ни одна крупная птица не питается нектаром
- Птицы, которые не питаются нектаром, имеют неяркое оперение
- Мой доктор разрешает мне есть лишь не очень калорийные блюда
- То, что я могу есть, вполне подходит для ужина
- Свадебные пироги всегда очень калорийны
- Мой доктор разрешает мне есть все, что подходит для ужина
- Все плоды на этой выставке, которые будут удостоены награды, являются собственностью организационного комитета
- Ни один из представленных мной персиков не удостоен награды
- Ни один из плодов, распроданных после закрытия выставки, не был незрелым
- Ни один из спелых плодов не был выращен в теплице
- Все плоды, принадлежащие организационному комитету, были распроданы после закрытия выставки
1. Те, кто нарушает свои обещания, не заслуживает доверия
2. Любители выпить очень общительны
3. Человек, выполняющий свои обещания, честен
4. Ни один трезвенник не ростовщик
5. Тому, кто очень общителен, всегда можно верить
- Ни один из имеющихся здесь моих ящиков я не рискну открыть
- Мои ящики от письменного стола сделаны из палисандрового дерева
- Все мои ящики, за исключением тех, которые находятся здесь, покрыты лаком
- Нет ни одного моего ящика, который я бы не рискнул открыть, если только он не полон живых скорпионов
- Все мои ящики из палисандрового дерева покрыты лаком
- Ни одна из представленных здесь картин, кроме батальных, не представляет ценности
- Ни одна из картин, вывешенных без рам, не покрыта лаком
- Все батальные картины написаны маслом
- Все распроданные картины представляют ценность
- Все картины английских мастеров покрыты лаком
- Все картины, которые были вывешены в рамах, проданы
- Никто не забудет причесаться, если он отправляется на бал
- Нельзя сказать, что человек выглядит превосходно, если он неопрятен
- Курильщики опиума утрачивают контроль над собой
- Причесанный человек выглядит превосходно
- Никто не наденет белых лайковых перчаток, если он не отправляется на бал
- Человек всегда неопрятен, если он утратил контроль над собой
- Все, что не слишком безобразно, можно держать в гостиной
- То, что покрыт о налетом соли, никогда не бывает абсолютно сухим
- То, что покрыто влагой, не следует держать в гостиной
- Купальные кабинки у моря всегда покрыты налетом соли
- Ничто, сделанное из перламутра, не может быть слишком безобразным
- Я чрезвычайно дорожу всем, что дарит мне Джон
- Ничего, кроме этой кости, не придется по вкусу моей собаке
- Я очень берегу то, чем особенно дорожу
- Эта кость – подарок от Джона
- Вещи, которые я очень берегу, я не даю своей собаке
- Единственные животные в этом доме – кошки
- Любое животное можно приручить, если оно любит глядеть на луну
- Если животное вызывает у меня отвращение, я стараюсь держаться от него подальше
- Ни одно животное не плотоядно, если оно не бродит по ночам
- Ни одна кошка не упустит случая поймать мышь
- Я не пускаю к себе в кабинет животных, кроме тех, которые находятся в этом доме
- Кенгуру не поддаются приручению
- Лишь плотоядные животные ловят мышей
- Животные, которых я не пускаю к себе в кабинет, вызывают у меня отвращение
- Животные, которые бродят по ночам, любят смотреть на луну
- Животные всегда испытывают смертельную обиду, если я не обращаю на них внимания
- Те животные, которые принадлежат мне, находятся на той площадке
- Ни одно животное не сможет отгадать загадку, если оно не получило соответствующего образования в школе-интернате
- Ни одно животное на той площадке не барсук
- Если животное испытывает смертельную обиду, оно носится с бешеной скоростью и воет
- Я никогда не обращаю внимания на животных, которые не принадлежат мне
- Ни одно животное, получившее соответствующее образование в школе-интернате, не станет носиться с бешеной скоростью и выть
1. Ни одна акула не сомневается, что она прекрасно вооружена
2. К рыбе, не умеющей танцевать менуэт, относятся без почтения
3. Ни одна рыба не будет вполне уверена в том, что она прекрасно вооружена, если у нее нет трех рядов зубов
4. Все рыбы, кроме акул, очень добры к детям
5. Ни одна крупная рыба не умеет танцевать менуэт
6. К рыбе, имеющей три ряда зубов, следует относиться с почтением
- Если я решаю логическую задачу без ворчания, то можно быть уверенным, что она мне понятна
- Посылки в этих соритах, расположены не в том порядке, как в привычных мне задачах
- Ни одна легкая задача не вызывает у меня головной боли
- Я не могу понять задач, в которых посылки расположены не в том порядке, к которому я привык
- Я никогда не ворчу на задачу, если от нее у меня не болит голова
1. Любая моя мысль, которую нельзя выразить в виде силлогизма, поистине смешна
2. Моя мечта о сдобных булочках не стоит того, чтобы ее записывать на бумаге
3. Ни одну мою несбыточную мечту нельзя выразить в виде силлогизма
4. Мне не приходило в голову ни одной действительно смешной мысли, о которой я бы не сообщил своему поверенному
5. Я только и мечтаю, что о сдобных булочках
6. Я никогда не высказывал своему поверенному ни одной мысли, если она не стоила того, чтобы ее записать на бумаге
- Ни одна интересная поэма не остается не признанной людьми с тонким вкусом
- Ни одна современная поэма не свободна от аффектации
- Все ваши поэмы написаны о мыльных пузырях
- Ни одна аффектированная поэма не находит признания у людей с тонким вкусом
- Ни одна древняя поэма не написана о мыльных пузырях