Сomparison-line Голосов: 1 Адрес блога: http://comparison-line.ru Добавлен: 2010-11-26 13:42:23 блограйдером kottx

Антецеденты теоремы

2012-12-19 00:35:36 (читать в оригинале)

Антецеденты теоремы означают, что к моменту применения приема расстояния 1(АВ), 1(ВС), 1(АС) уже должны в явном виде упоминаться в посылках задачи. В геометрии такое упоминание расстояний, углов и площадей приводит к немедлен­ному срабатыванию приемов, регистрирующих их в посылках вида «актив(Х)», где X — данное расстояние, угол, площадь и т. п. Консеквент теоремы представляет собой конъюнкцию [...]