Условие задачи
Изобразить на диаграммах Эйлера-Венна области истинности предикатов:
1) P(x)→Q(x);
2) P(x)→¯(Q(x);
3) ¯(P(x)↔¯(Q(x);
4) (P(x)∨Q(x))&R(x).
Ответ
Будем обозначать область определения предикатов (универсальное множество) через М.
1) Преобразуем: P(x)Q(x)(P(x)Q(x). Тогда (P(x)Q(x))+=(M\P+)Q+.
...