Задание 10. Завершите с помощью кванторов утверждение: «Если точки A, B и C не лежат на одной прямой, то существует лишь одна точка, равноудалённая от данных».

Кванторная запись:

\[\forall A\forall B\forall C\;\bigl((A,B,C\text{ не лежат на одной прямой})\Rightarrow \exists!D\;(DA=DB=DC)\bigr).\]

Ответ: \(\forall A\forall B\forall C\,((A,B,C\text{ не лежат на одной прямой})\Rightarrow \exists!D\,(DA=DB=DC))\).