Правильная машина

правило преобразования некоторой формальной системы, дедуктивное правило, правило-разрешение, регламентирующее допустимые способы переходов от некоторой совокупности утверждений (суждений (См. Суждение), высказываний (См. Высказывание) пли выражающих их формул), называемых посылками, к некоторому определённому утверждению (суждению, высказыванию, формуле) — заключению. П. В., вид посылок и заключения которого указан явно, называют прямым. Таково, например, П. В. Исчисления высказываний (См. Исч..

дробь, знаменатель которой больше числителя (например, 1/2, 5/6 и т.д.). ..

(математическая) бесконечная система точек плоскости (пространства), удовлетворяющая следующим условиям. 1) существует такой радиус R, что в любом круге плоскости (шаре пространства) радиуса R содержится по крайней мере одна точка системы (условие однородности). 2) существует такой радиус r > 0, что в круге (шаре) этого радиуса, описанном вокруг точки системы, нет других точек системы. 3) какие бы две точки А и В системы ни взять, существует такое движение (см. Движение в геометрии), при котором..

Многогранник, все грани которого — одинаковые правильные многоугольники и все многогранные углы при вершинах равны между собой. Существует пять видов выпуклых П. М. Тетраэдр, Куб, Октаэдр, Додекаэдр, Икосаэдр. ..

Машина для устранения кривизны (волнистости и т п.) металлич. Заготовок и изделий при правке листового, сортового и профильного проката, а также длинномерных изделий (осей, валов, шпинделей и др.). Различают П. М. Роликовые (для правки листов и сортового проката), роторные (для устранения овальности труб), косовалковые (для правки профилей круглого сечения и труб), раскруточные (для устранения скручивания некруглых труб), растяжные (правка тонких листов и полос), правильные прессы (правка рельсо..