Докажите выполнимость формулы (∃x) (∃y) (P(x) ∧P(y)). Бесплатный доступ к решению задач

Реферат.Справочник
Решенные задачи по высшей математике
Докажите выполнимость формулы (∃x) (∃y) (P(x) ∧P(y))

Докажите выполнимость формулы (∃x) (∃y) (P(x) ∧P(y)) .pdf

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

Докажите выполнимость формулы (∃x) (∃y) (P(x) ∧P(y)).

Решение

Потяни, чтобы посмотреть

Пусть P(x) - предикат "число х - четное " , определенный в области
М = Е ×Е, где Е={0,1,2, …,n, …} . Тогда формула (∃x) (∃y) (P(x) ∧P(y)) тождественно истинна в области М (поскольку в Е существуют как четные числа, для которых P(x)=1, так и нечетные, для которых P(y)=1) и, следовательно, выполнима.

50% задачи недоступно для прочтения

Переходи в Кампус, регистрируйся и получай полное решение

Получить задачу