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