ФОРМАЛЬНАЯ ЛОГИКА И АЛГОРИТМЫ В ПРЕПОДАВАНИИ НАЧЕРТАТЕЛЬНОЙ ГЕОМЕТРИИ 2 взаимное расположение точек и прямой