Универсум – множество животных.
Предикаты:
D(x) – животное x – свинья.
F(x) – животное x – орел.
Выберите правильный перевод на язык логики предикатов
«Некоторые свиньи – не орлы».
∃x y (D(x)⊃F(x)&¬(x=y))
∃x (D(x)&¬F(x))
∀x y (D(x)⊃F(x)&¬(x=y))
∃x y (D(x)&F(y)&¬(x=y))