Правильная дробь

предложение, выражающее при определённых условиях разрешение или требование совершить или воздержаться от совершения некоторого поступка (под «поступком» может подразумеваться некоторое действие или бездействие). Такие П., называемые соответственно разрешениями и требованиями (приказами), естественно считать «простейшими» (или П. Первого ранга) и объединять общим термином «предписание». «Сложные» П. — это П. (n + 1)-го ранга, получаемые применением предписаний к совокупностям П. Не выше n-го ра..

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

применяется для правки (См. Правка) металлических изделий. Существует несколько типов П. М. Роликовые П. М. Имеют 2 ряда роликов, расположенных параллельно в шахматном порядке (рис.). Эти П. М. Получили наибольшее распространение для правки как листов (см. Листоправильная машина), так и сортового проката (См. Сортовой прокат). Роторные П. М. Применяют для правки с высокой точностью и для устранения овальности в поперечном сечении трубы, если она при этом не может вращаться вокруг своей оси (нап..

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