Для примера у меня есть такой случай :

$$R(x, y) => (\forall x)(\forall y)(P(x) \vee Q(y))$$

Как мне поступить с $%R(x, y)$%

задан 12 Июн '13 22:58

изменен 12 Июн '13 23:29

falcao's gravatar image


179k1631

10|600 символов нужно символов осталось
1

Если я правильно понял задание, то надо привести формулу исчисления предикатов $$R(x,y) \to (\forall x)(\forall y)(P(x)\vee Q(y))$$ к предварённой нормальной форме.

Прежде всего, надо переименовать связанные переменные, чтобы они не совпадали со свободными. Формула $$R(x,y) \to (\forall a)(\forall b)(P(a)\vee Q(b))$$ будет логически эквивалентна исходной. Далее, импликацию надо выразить через дизъюнкцию и отрицание, в результате чего формула примет вид $$\neg R(x,y) \vee (\forall a)(\forall b)(P(a)\vee Q(b)),$$ где лишние скобки я опускаю. Наконец, кванторы по $%a$% и $%b$% можно вынести влево, поскольку формула $%\neg R(x,y)$% не содержит вхождений этих переменных: $$(\forall a)(\forall b)(\neg R(x,y)\vee P(a)\vee Q(b)).$$

ссылка

отвечен 12 Июн '13 23:28

Да, именно ПНФ. Спасибо

(12 Июн '13 23:33) Error
10|600 символов нужно символов осталось
Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×444

задан
12 Июн '13 22:58

показан
1537 раз

обновлен
12 Июн '13 23:33

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru