Укажите обозначение квантора существования.
(полное условие - в демо-файлах)
(∃/x) (P(x))
(∆x) (P(x))
(∀x) (P(x))
(∃x) (P(x))