Универсум – множество вещественных чисел.
Предикаты:
x=y – истина тогда и только тогда, когда числа x и y равны.
f(x)=0 – число x есть решение уравнения f(x)=0.
Выберите правильный перевод на язык логики предикатов
«У уравнения f(x)=0 не менее двух решений».
f(x)=0 & f(y)=0
∃x y (f(x)=0 & f(y)=0 & ¬(x=y))
∃x R(x) & ∃y R(y)