Answer
∀m∀b(m = 0 → ∃x(mx + b = 0 ∧ ∀w(mw + b =
0 → w = x)))
Work Step by Step
we have to use quantifiers and logical connectives to express the fact that every linear polynomial (that is, polynomial of degree 1) with real coefficients and where the coefficient of
x is nonzero, has exactly one real root.
as ∀m∀b(m = 0 → ∃x(mx + b = 0 ∧ ∀w(mw + b =
0 → w = x)))
