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

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

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

Здесь \(\forall\) означает «для любых», а \(\exists!\) — «существует единственная».