Изобразить на диаграммах Эйлера-Венна области истинности предикатов

уникальность
не проверялась

Аа

463 символов

Логика

Решение задач

Реферат.Справочник
Решенные задачи по логике
Изобразить на диаграммах Эйлера-Венна области истинности предикатов

Изобразить на диаграммах Эйлера-Венна области истинности предикатов .pdf

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

Условие

Изобразить на диаграммах Эйлера-Венна области истинности предикатов: Px→Qx; Px→Qx; Px↔Qx; Px∨Qx&Rx.

Решение

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

Будем обозначать область определения предикатов (универсальное множество) через М.
1) Преобразуем: Px→Qx≡Px∨Qx . Тогда Px→Qx+=M\P+∪Q+.
P+
Q+
M
P+
Q+
M
2) Преобразуем: Px→Qx≡Px∨Qx≡Px&Qx

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

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

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