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

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

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

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

Условие

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

Решение

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

Пусть Qx,y-предикат "x≠y", определенный на множестве Е = {0,1}. Построим таблицу истинности:
х
у Q(x,y)
Q(x,x)
Q(x,x)
0 0 0 0 1
0 1 1 0 1
1 0 1 0 1
1 1 0 0 1
При х=0 при у=1 имеем: Q(0,1∧ Q(0,1) = 1 ∧1=1, а при х=1 при у=0 имеем:
Q(1,0)∧ Q(1,0) = 1 ∧1=1

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

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

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