Помогите перевести выражение с формального языка на русский

[ellozoid]

$∀x_1,x_2,x_3 ∃y((P(x_1) ∧ P(x_2) ∧ P(x_3)) ⇒ (P(y) ⇒ y = x_1 ∨ y = x_2 ∨ y = x_3))$

[Lia]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
Запишите формулы в соответствии с требованиями Правил форума, т.е. в $\TeX$.
Краткие инструкции можно найти здесь: topic8355.html и topic183.html.
Кроме этого, в теме Видео-пособия для начинающих форумчан можно посмотреть видео-ролик "Как записывать формулы".


После того как исправите сообщение, сообщите об этом в теме Сообщение в карантине исправлено, и тогда тема будет возвращена.