Лит.: Слупецкий Е., Борковский Л., Элементы математической логики и теория множеств, пер. с польск., М., 1965; Серебрянников О. Ф., Эвристические принципы и логические исчисления, М,, 1970; Смирнов В. А., формальный вывод и логические исчисления, М., 1972. См. также лит. при статьях Аксиоматический метод , Дедукция .
Пра'вильная дробь, дробь, знаменатель которой больше числителя (например, 1/ 2, 5/ 6и т.д.).
Прави'льная маши'на, применяется для правки металлических изделий. Существует несколько типов П. м. Роликовые П. м. имеют 2 ряда роликов, расположенных параллельно в шахматном порядке ( рис. ). Эти П. м. получили наибольшее распространение для правки как листов (см. Листоправильная машина ) , так и сортового проката . Роторные П. м. применяют для правки с высокой точностью и для устранения овальности в поперечном сечении трубы, если она при этом не может вращаться вокруг своей оси (например, при обработке труб, смотанных в бунты). Косовалковые П. м. (для правки профилей круглого сечения и труб) имеют одну или несколько обойм, состоящих из 2 или 3 валков. Применение трёхвалковых обойм позволяет подвергать правке тонкостенные трубы и обеспечивает высокое качество поверхности. Раскруточные машины служат для устранения скручивания некруглых труб. При постоянном сечении по длине одновременно производят продольную правку растяжением; П. м. в этом случае называют раскруточно-растяжными. Для правки тонких листов и полос применяются растяжные П. м. Правильные прессы применяются главным образом для правки крупносортных профилей, рельсов, труб больших размеров.
Р. М. Голубчик.
Схема расположения роликов правильной машины.
Пра'вильная систе'ма то'чек (математическая), бесконечная система точек плоскости (пространства), удовлетворяющая следующим условиям: 1) существует такой радиус R, что в любом круге плоскости (шаре пространства) радиуса R содержится по крайней мере одна точка системы (условие однородности); 2) существует такой радиус r > 0, что в круге (шаре) этого радиуса, описанном вокруг точки системы, нет других точек системы; 3) какие бы две точки А и В системы ни взять, существует такое движение (см. Движение в геометрии), при котором система совмещается с собой, и точка А совмещается с точкой В. На рис. дан пример П. с. т.
Правильная система точек на плоскости.
Пра'вильный многогра'нник, многогранник , все грани которого — одинаковые правильные многоугольники и все многогранные углы при вершинах равны между собой. Существует пять видов выпуклых П. м.: тетраэдр , куб , октаэдр , додекаэдр , икосаэдр .
Пра'вильный многоуго'льник, выпуклый многоугольник с равными сторонами и углами.
«Правительственный вестник»
«Прави'тельственный ве'стник», газета, орган Министерства внутренних дел. Выходила ежедневно в Петербурге с 1 (13) января 1869 по 26 февраля (11 марта) 1917. Заменила «Северную почту» . Публиковала распоряжения и сообщения правительства, отчёты о заседаниях Совета министров и Государственного совета, внутренние и зарубежные известия, статьи и рецензии на книги, биржевой указатель, метеосводки и т.п. Приложения: газеты «Сельский вестник» (1881—1905, далее — самостоятельное издание), «Вечерние известия» (1904, март — окт.), «Русское государство» (1906, февраль — май; далее — «Вечернее прибавление» к «П. в.») и др. После Февральской революции 1917 «П. в.» заменен «Вестником Временного правительства» .
Прави'тельство, высший исполнительный орган государства. П., именуемые иногда советом или кабинетом министров, возглавляются премьер-министром (канцлером, председателем совета или кабинета министров), а в отдельных странах — главой государства (например, в США — президентом). Члены П. (министры, секретари, государственные секретари и т.п.) руководят конкретными центр, ведомствами государственного управления. П. может быть однопартийным или коалиционным. В федеративных государствах существует центральное (федеральное) П. и П. входящих в состав федерации государственных образований (штатов, провинций).
Читать дальше