Информатика и выч. техника \ Представление знаний в информационных системах

Логические выражения и решения логических задач, страница 4

;

9.  По закону исключенного третьего , а по закону де Моргана , следовательно, выражение можно упростить:

;

10.   Применим свойство констант  и :

;

11.   Применим закон двойного отрицания  и закон коммутативности , следовательно, получим:

;

12.   Тождество  позволяет преобразовать выражение к следующему виду:

 или .

Таким образом мы доказали, что .

Задание №4.

(Задание для вариантов: 0,2,4,6,8).

Используя исчисления предикатов, создайте набор выражений, описывающих данную ситуацию: «Если фирма приглашает на работу крупного специалиста в области новейшей технологии, то она считает эту технологию привлекательной и разворачивает работы по изменению технологии производства своего традиционного продукта или начинает разработку нового продукта. Конкурирующая фирма пригласила на работу крупного специалиста в области новейшей технологии. Следовательно, она разворачивает работу по изменению технологии производства выпускаемого продукта или разработке нового продукта.

Решение:

1)  Предикатам присваиваем выражения:

A =:( Если фирма приглашает на работу крупного специалиста в области новейшей технологии)

B:=( то она считает эту технологию привлекательной)

С:=(разворачивает работы по изменению технологии производства своего традиционного продукта)

D:=( начинает разработку нового продукта)

E:=(Конкурирующая фирма пригласила на работу крупного специалиста в области новейшей технологии)

G:=(Следовательно, она разворачивает работу по изменению технологии производства выпускаемого продукта)

H:=( разработке нового продукта)

2)  Создаем набор выражений, описывающих данную ситуацию:

A → (B˄C) ˅ D ˄ E → (G ˅ H)

Задание №5.

(Задание для всех вариантов).

Пусть есть предикат ЛЮБИТ (x,y), который описывает отношение «x любит y». Считая, что порядок связывания переменных кванторами определяется при чтении предиката слева направо, найдите соответствие между предложениями и описываемыми отношениями (табл.4):

                                                                                                            Таблица 4

№

Предложение

№

Отношение

1

a

Существует человек, который кого-нибудь любит

2

b

Для всех x существует человек y, который любит x

3

c

Для каждого человека существует человек, который его любит

4

d

Существует такой человек y, что его любят все x

5

e

Существует человек, который любит всех людей

6

f

Все люди любят всех людей
Скачать файл