$$\overline{\exists x\forall yP\left(x,\ y\right)\wedge \overline{\exists x\forall yQ\left(x,\ y\right)}}=\overline{\exists x\forall yP\left(x,\ y\right)}\vee \exists x\forall yQ\left(x,\ y\right)=\forall x\exists y\overline{P\left(x,\ y\right)}\vee \exists x\forall yQ\left(x,\ y\right)=\dots $$

задан 16 Май '16 2:15

Помогите пожалуйста продолжить. Нужно получить ПНФ

(16 Май '16 2:15) lisp

Надо переименовать связанные переменные во второй формуле. Остальное просто.

(16 Май '16 3:13) falcao

$$\overline{\exists x\forall yP\left(x{\rm ,\ }y\right)\wedge \overline{\exists x\forall yQ\left(x{\rm ,\ }y\right)}}{\rm =}\overline{\exists x\forall yP\left(x{\rm ,\ }y\right)}\vee \exists x\forall yQ\left(x{\rm ,\ }y\right){\rm =}\forall x\exists y\overline{P\left(x{\rm ,\ }y\right)}\vee \exists x\forall yQ\left(x{\rm ,\ }y\right){\rm =}\forall x\exists y\overline{P\left(x{\rm ,\ }y\right)}\vee \exists z\forall tQ\left(z{\rm ,\ }t\right){\rm =}.$$

(16 Май '16 3:22) lisp

А дальше как?

(16 Май '16 3:23) lisp

Теперь, когда всё совершенно независимо, написать спереди все четыре квантора в порядке следования, а за ними в скобках дизъюнкцию.

(16 Май '16 3:29) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

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

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

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

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

отмечен:

×389

задан
16 Май '16 2:15

показан
444 раза

обновлен
16 Май '16 3:29

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

по почте:

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

по RSS:

Ответы

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

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