Представление и обработка знаний

63 гики предикатов первого порядка. Предложения естественного языка также изменят свою форму (табл. 3.6). Таблица 3.6 № п/п Суждение в форме предложения Формальное представ- ление суждения 1 Всякий студент, подготовившийся к экзамену, успешно его сдает  x ( A ( x )  B ( x )) 2 Всякий студент или не подготовился к экзаме- ну, или успешно его сдает  x (  A ( x )  B ( x )) 3 Для всякого студента неверно, что подготовил- ся к экзамену и его не сдал  x  ( A ( x ) &  B ( x )) 4 Не существует студента, который подготовился к экзамену и его не сдал  x ( A ( x ) &  B ( x )) 5 Всякий студент, если не сдал экзамен, то к нему не подготовился  x (  B ( x )   A ( x )) Рассмотрим еще один пример суждения «Получение прибы- ли подразделением C равносильно тому, что получение прибыли подразделением B не будет достаточным основанием для получе- ния прибыли подразделением A ». Для формализации сложного су- ждения предложение разделим на простые суждения: 1) получение прибыли подразделением B является достаточ- ным основанием для получения прибыли подразделением A (вы- сказывание D ); 2) получение прибыли подразделением B не является доста- точным основанием для получения прибыли подразделением A (вы- сказывание E =  D ); 3) получение прибыли подразделением C равносильно вы- сказыванию E (высказывание E подчеркнуто в исходном сужде- нии). Введем обозначения: 1. Высказывание A – «Подразделение A получит прибыль». 2. Высказывание B – «Подразделение B получит прибыль». 3. Высказывание С – «Подразделение С получит прибыль».