Докажите что формула не общезначима P(x) → (∀y)Py. Бесплатный доступ к решению задач

Реферат.Справочник
Решенные задачи по высшей математике
Докажите что формула не общезначима P(x) → (∀y)Py

Докажите что формула не общезначима P(x) → (∀y)Py .pdf

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

Условие

Докажите, что формула не общезначима P(x) → (∀y)Py.

Решение

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

Формула А логики предикатов называется общезначимой, если она тождественно истинна на всякой области определения.
Пусть P(x) - предикат "число х - четное " , определенный в области
М = {0,1,2, …,n, …} . Тогда, например, P(2) =1, P(3) = 0, поэтому по определению истинности квантора общности формула (∀y)Py=0, и следовательно, при х=2 имеем: P(2) → (∀y)Py=1 → 0 = 0

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

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

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