Найти ПкНФ и ССФ

R(x, y)=>(∀y)(P(y)=>((∃x)P(x)=>Q( y));

Сделал поэтапно:

1)R(x, y)=>(∀y)(P(y)=>((∀x)¬P(x) V Q(y));

2)R(x, y)=>(∀y)(¬P(y) V (∀x)(¬P(x) V Q(y));

3)¬R(x, y) V (∀y)(∀x)(¬P(y) V (¬P(x) V Q(y));

4)Заменил x ,y на t,w чтобы вынести кванторы

¬R(x, y) V (∀t)(∀w)(¬P(t) V (¬P(w) V Q(t));

5)(∀t)(∀w)(¬R(x, y) V ¬P(t) V ¬P(w) V Q(t));

И вроде бы получил ПкНФ без кванторов существования, следовательно получил и ССФ

Но есть подозрения, что сделал что-то неверно

задан 10 Май 15:20

10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

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

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

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

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

отмечен:

×883
×408

задан
10 Май 15:20

показан
138 раз

обновлен
10 Май 15:20

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

по почте:

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

по RSS:

Ответы

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

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