Логотип Автор24реферат
Заказать работу
%
уникальность
не проверялась
Решение задач на тему:

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

уникальность
не проверялась
Аа
363 символов
Категория
Высшая математика
Решение задач
Докажите выполнимость формулы (∀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% задачи недоступно для прочтения
Переходи в Автор24, регистрируйся и получай полное решение
Получить задачу
Больше решений задач по высшей математике:

Исследовать ряды на сходимость n=1∞-1n+1*nn+6

456 символов
Высшая математика
Решение задач

Решить систему линейных уравнений x1+2x2+3x3-2x4=62x1-x2-2x3-3x4=83x1+2x2-x3+2x4=4

1181 символов
Высшая математика
Решение задач

Проверьте являются ли заданные отношения рефлексивными

1121 символов
Высшая математика
Решение задач
Все Решенные задачи по высшей математике
Закажи решение задач
Оставляя свои контактные данные и нажимая «Узнать стоимость», я соглашаюсь пройти процедуру регистрации на Платформе, принимаю условия Пользовательского соглашения и Политики конфиденциальности в целях заключения соглашения.

Наш проект является банком работ по всем школьным и студенческим предметам. Если вы не хотите тратить время на написание работ по ненужным предметам или ищете шаблон для своей работы — он есть у нас.