Записать данные выражения и их отрицания в символическом виде (с кванторов)

Формулировка: все точки, принадлежащие срединному перпендикуляру, равноудалены от концов отрезка.
Доказательство.
Обозначим отрезок как АВ, середина отрезка - К. Выберем произвольную точку С на перпендикуляре, проведенном к середине отрезка АВ. Получили треугольник АВС. Докажем, что он равнобедренный, т.е. АС и ВС равны.
Рассмотрим треугольники АСК и ВСК. Докажем, что они равны. Они равны по признаку равенства треугольников - по двум сторонам и углу между ними, поскольку АК и ВК равны по условию, СК - общая сторона, углы АКС и ВКС равны как прямые углы - по условию (СК - перпендикуляр). Следовательно АС=ВС.

Между Б и В 25 км.

Рассмотрим 2 случая:

1)Если  Нарисовать круг, начать отсчёт от А, то Б и В можно расположить с одной стороны (например начнём отсчёт вправо, почасовой стрелке) (тогда легко всё получается, 75-50 = 25 (км) (Г в этом случае расположена между А и Б слева,и ничему не противоречит)

2) Пусть от А вправо будет Б (75 км), а влево В (50 км). Где будет Г? Она не может быть к А ближе, чем В (потому что АГ=60), она не может быть между В и Б (т.к. в этом случае тоже не получится АГ=60, значит Г будет между А и Б. (нарисуйте, будет всё понятно)

Зная, что  ГА = 60, находим, что ГБ=15.

ВГ=40 (по условию), значит БВ=40-15=25 (км)

таким образом независимо от расположения БВ=25 км