Для примера у меня есть такой случай : $$R(x, y) => (\forall x)(\forall y)(P(x) \vee Q(y))$$ Как мне поступить с $%R(x, y)$% задан 12 Июн '13 22:58 Error |
Если я правильно понял задание, то надо привести формулу исчисления предикатов $$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 falcao Да, именно ПНФ. Спасибо
(12 Июн '13 23:33)
Error
|