Вывод: все животные в этом дворе грызут кости

ВЯТСКИЙ СОЦИАЛЬНО-ЭКОНОМИЧЕСКИЙ ИНСТИТУТ

ФАКУЛЬТЕТ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ

Кафедра информатика и вычислительная техника

Предмет: Мат логика и теория алгоритмов

Контрольная работа № 1

Вариант № 1

Студент: 2 курса, группы ИВТс-23

Ф.И.О.: Тестов Григорий Николаевич

Преподаватель: Князькова Т. В.

Дата сдачи работы «___» __________ 2015 г.

Оценка: _______________

Проверил:_______________

Киров

Вариант 1

Задача 1. Сформулировать представленную ниже задачу на языке логики высказываний и проверить истинность заключений методом резолюций.

Область определения: животные.

1. Я люблю всех животных, которые принадлежат мне. 2. Собаки грызут кости. 3. Ни одно животное я не пускаю к себе в кабинет, если оно не "служит", когда его об этом просят. 4. Все животные во дворе принадлежат мне. 5. Всем животным, которых я люблю, разрешается входить ко мне в кабинет. 6. Единственные животные, которые "служат", если их попросить, - собаки.

Вывод: все животные в этом дворе грызут кости.

Представим символьно высказывания:

А – животное принадлежит мне

В – я люблю это животное

С – собака

D – животное, которое я пускаю к себе в кабинет

E – животное «служит», когда его об этом просят

F – животное во дворе

G – животное, которое грызет кости

Теперь запишем задание в формальном виде:

1. Я люблю всех животных, которые принадлежат мне.

2. Собаки грызут кости.

3. Ни одно животное я не пускаю к себе в кабинет, если оно не "служит", когда его об этом просят.

4. Все животные во дворе принадлежат мне.

5. Всем животным, которых я люблю, разрешается входить ко мне в кабинет.

6. Единственные животные, которые "служат", если их попросить, - собаки.