Про объекты x и y известно следующее:
∀x(x обладает свойством a)
∃y(y обладает свойством a)
∀y(y обладает свойством b)
∃x(x обладает свойством c)
∃x∃y(x и y обладают одинаковыми свойствами)
Рассмотри схему. Перенеси обозначения на области, которые показывают множества объектов x и y.
На схеме три круга: a, b и c. Круги a и b пересекаются, круг c пересекается с кругом a снизу.
Объект x:
— все x лежат внутри круга a. — среди x есть те, что лежат в круге c. - Значит, x находится в области, общей для кругов a и c. Это маленькая область внизу слева, где круги a и c перекрываются. Пунктирный овал с меткой стоит именно там.
Объект y:
— все y лежат внутри круга b. — среди y есть те, что лежат в круге a. - Значит, y находится в области, общей для кругов a и b. Это область пересечения этих двух кругов; её накрывает средний пунктирный овал справа.
Пятое условие (
На фото плохо видно, какие именно овалы накрывают пересечение a и b. Выбирай тот овал, который заходит в общую часть кругов a и b.
Квантор ∀ означает, что все объекты множества лежат в данном круге. Квантор ∃ означает, что в этом круге есть хотя бы один объект. Поэтому область множества — это пересечение кругов, свойства которых для него перечислены.
x — в области пересечения кругов a и c (овал внизу слева, между кругами a и c).
y — в области пересечения кругов a и b (овал на пересечении этих кругов).
