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

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

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

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

 

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

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

Вариант № 1

 

 

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

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

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

 

 

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

Оценка: _______________

Проверил:_______________

Киров

Вариант 1

 

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

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

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

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

 

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

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

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

С – собака

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

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

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

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

 

 

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

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

 

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

 

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

 

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

 

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

 

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