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

Является ли один из следующих предикатов

уникальность
не проверялась
Аа
397 символов
Категория
Логика
Контрольная работа
Является ли один из следующих предикатов .pdf

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

Условие

Является ли один из следующих предикатов, заданных на R, следствием другого(P1⊨P2 или P2⊨P1)? P1:x4=81, P2:x2=-9.

Решение

Потяни, чтобы посмотреть
Предикат, P2 на R является тождественно ложным и из него следует любой предикат на R, поэтому P2⊨P1 . Тождественно ложный предикат может быть следствием только тоже тождественно ложного предиката
50% задачи недоступно для прочтения
Переходи в Кампус, регистрируйся и получай полное решение
Получить задачу
Больше контрольных работ по логике:
Все Контрольные работы по логике
Получи помощь с рефератом от ИИ-шки
ИИ ответит за 2 минуты