Какими должны быть множества P+ и Q+ истинности предикатов P(x) и Q(x)

Я не уверен, на какой вопрос вы отвечаете. Последний вопрос я задал в сообщении 5: "Что можно сказать про x, для которого истинно P(x) /\ Q(x)? Точнее, что можно сказать про x, P+ и Q+?". Но он отличается от вопроса в сообщении 1.

Предположим, что P(x) и Q(x) такое, как в сообщении 7. Тогда P+ — это множество котов, а Q+ — множество рыжих объектов. Можно считать, что существует x, такой что P(x) и Q(x). Значит, этот x — это рыжий кот. Отсюда вы делаете вывод, что Q+ — пустое множество, а P+ совпадает со всей областью определения, то есть все объекты — коты?

0