Большая Советская Энциклопедия (ПО)

Посудомо'ечная маши'на . Первые П. м. появились в последней четверти 19 в. Современные П. м. подразделяются на промышленные и бытовые, универсальные и специализированные, непрерывного и периодического действия. По способу обработки посуды П. м. бывают струйными и щёточными. Выпускаются П. м. двух конструктивных типов — камерные и открытые. В П. м. камерного типа посуда обрабатывается струей воды или моющего раствора при температуре 30—60 °С, в машинах открытого типа — водой или раствором с применением щёток или др. механических средств.

  Наиболее распространены в СССР универсальные П. м. периодического и непрерывного действия (например, промышленные машины ММУ-250, ММУ-500, ММУ-1000, бытовая машина «Страуме»). В ряде конструкций П. м. автоматически поддерживаются заданный уровень воды в ваннах, необходимая температура воды, концентрация моющих средств.

  Лит.: [Бухарин И. Е., Воронин Ю. В., Годин С. Г.], Новое посудомоечное оборудование, М., 1965.

Посус-ди-Калдас

По'сус-ди-Ка'лдас (Poços de Caldas), город на Ю.-В. Бразилии, в штате Минас-Жерайс. 57,6 тыс. жителей (1970). Ж.-д. станция. Узел автодорог. Центр добычи бокситов, урановых и торцевых руд. Строится (1975) обогатительная фабрика мощностью 200 т урановых концентратов в год. Предприятия по обработке с.-х. сырья. Производство глинозёма.

Посылка

Посы'лка , в широком смысле — то, на основании чего делается вывод или умозаключение. П. могут служить факты или суждения о фактах, принципы, аксиомы, постулаты и пр., вообще любые события или высказывания — исходные данные, из которых непосредственно или посредством рассуждения можно извлечь какую-либо новую для нас информацию. В этом смысле говорят равно и о П. индукции , и о П. дедукции .

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

  Какой бы характер ни носили П., они являются необходимым условием логической аргументации или доказательства. При этом существенным оказывается вопрос о непостороннем характере П. Постороннюю в данной аргументации П. всегда можно заменить на противоречащую ей без ущерба для аргументации. Этому правилу соответствует логический закон , который можно назвать «законом посторонней посылки»:

((А & В ÉС ) & (А É C )) É (А & ù В É С ).

  Задачи разыскания следствий из данных П. и непосторонних П. по данным следствиям являются основными задачами логики. В пределах формализма алгебры высказываний эти задачи имеют исчерпывающее решение (см. Алгебра логики ).

  М. М. Новосёлов.

Посылочная торговля

Посы'лочная торго'вля , одна из форм внемагазинной продажи товаров населению путём отправки их по индивидуальным заказам в почтовых посылках. Возникновение П. т. относится к 1887, когда в США были основаны крупнейшие посылочные фирмы «Монтгомери Уорд» и «Сирс, Робак энд К°»; рынком сбыта в первый период их деятельности были главным образом с.-х. районы страны. В дореволюционной России П. т. возникла в начале 20 в. Наиболее крупными были посылочные отделы при универмагах «Мюр и Мерилиз» (Москва), «Александр» (Петербург), «Петрококки» (Одесса).