Verbum

МЫ́ЙНАЕ ДЗЕ́ЯННЕ,

сукупнасць фізіка-хім. працэсаў, якія прыводзяць да ачысткі паверхні розных рэчаў (звычайна валокнаў, тканіны) ад забруджванняў (тлушчу, пылу, сажы, бялковых і інш. рэчываў). Характэрнае для міцэлярных водных раствораў мылаў і сінт. мыйных сродкаў, абумоўленае іх высокай паверхневай актыўнасцю і здольнасцю стабілізаваць часцінкі забруджванняў у аб’ёме мыйнага раствору.

Уключае 2 асн. стадыі: поўнае змочванне забруджанай паверхні мыючай вадкасцю, што ажыццяўляецца пад уздзеяннем любых паверхнева-актыўных рэчываў (ПАР) і прыводзіць да пераходу часцінак забруджванняў у мыючы раствор, і стабілізацыя часцінак, якія ўтварыліся ў выніку адсорбцыі на іх ПАР і ўтварэння адсарбцыйна-сальватных слаёў, што прадухіляюць узбуйненне часцінак і іх паўторнае наліпанне на ачышчаную паверхню. Стабілізацыя абумоўлена міцэлаўтварэннем. Утварэнне міцэл ПАР у мыйным растворы прыводзіць да паглынання забруджванняў у працэсе салюбілізацыі (калоіднага растварэння). М.д. ўзмацняецца мех. уздзеяннем на паверхні рэчаў, якія адмываюцца.

Ф.​М.​Капуцкі.

т. 11, с. 48

НАГЛЯ́Д СУДО́ВЫ,

працэсуальная дзейнасць судоў па праверцы законнасці і абгрунтаванасці рашэнняў, вызначэнняў і пастаноў судоў, па дачы суд. органам кіруючых тлумачэнняў выкарыстання заканадаўства пры разглядзе крымін. і цывільных спраў, а таксама вырашэнне спрэчак паміж судамі. У вузкім сэнсе Н.с. — разгляд спраў па пратэстах, што ўносяцца ў парадку нагляду ўпаўнаважанымі службовымі асобамі на рашэнні (прыгаворы) судоў, якія набылі законную сілу, і вызначэнні касацыйнай інстанцыі. Н.с. з’яўляецца адной з гарантый выпраўлення суд. памылак. забеспячэння правільнага і аднастайнага выкарыстання законаў, спрыяючы тым самым найб. поўнаму дасягненню мэт правасуддзя. Ажыццяўляецца шляхам разгляду спраў: па касацыйных скаргах і пратэстах на рашэнні (прыгаворы), якія не набылі законнай сілы (гл. Касацыя); па пратэстах, што ўнесены ў парадку нагляду на рашэнні (прыгаворы), якія набылі законную сілу, па заключэннях пракурораў у сувязі з аднаўленнем спраў па новаадкрытых акалічнасцях.

Э.​І.​Кузьмянкова.

т. 11, с. 115

ПРЫМУСО́ВЫЯ МЕ́РЫ БЯСПЕ́КІ І ЛЯЧЭ́ННЯ,

меры, што назначаюцца судом у адносінах да псіхічна хворых, якія ўчынілі грамадска небяспечныя дзеянні (злачынствы). Праводзяцца з мэтай папярэджання з боку гэтых асоб новых грамадска небяспечных дзеянняў, іх аховы і лячэння. Паводле крымін. заканадаўства Рэспублікі Беларусь такія меры ўжываюцца судом да асоб, якія ўчынілі грамадска небяспечныя дзеянні ў стане бессвядомасці або захварэлі псіхічнай хваробай да пастановы прыгавору ці ў час адбыцця пакарання. Да гэтых мер адносяцца: прымусовы амбулаторны нагляд і лячэнне ў псіхіятра; прымусовае лячэнне ў псіхіятрычнай бальніцы (аддзяленні) са звычайным, узмоцненым ці строгім наглядам. Змена і спыненне прымянення мер да псіхічна хворых ажыццяўляецца судом на аснове заключэння ўрачоў-псіхіятраў. У выпадку, калі злачынства ўчынена асобамі, якія пакутуюць на хранічны алкагалізм, наркаманію або таксікаманію, суд пры наяўнасці мед. заключэння побач з пакараннем за ўчыненае злачынства можа прымяніць прымусовае лячэнне.

Э.​І.​Кузьмянкова.

т. 13, с. 73

ЛО́ГІКА ПРЭДЫКА́ТАЎ, функцыянальная логіка,

раздзел логікі, у якім вывучаюцца лагічныя сувязі паміж выказваннямі з улікам іх унутранай (суб’ектна-прэдыкатнай) структуры; пашыраны варыянт логікі выказванняў. Прадметам даследавання з’яўляецца любая галіна аб’ектаў з дадзенымі на гэтых аб’ектах прэдыкатамі, г. зн. уласцівасцямі і адносінамі. У выніку фармалізацыі Л.п. прымае выгляд розных злічэнняў (напр., злічэнне выказванняў). Пры аналізе ўплыву на лагічны вывад унутр. структуры выказванняў прэдыкаты разглядаюцца як функцыі, значэннямі якіх служаць выказванні. У дапаўненне да сімвалічных сродкаў логікі выказванняў у мову Л.п. уведзены лагічныя знакі — аператары ∀ («для ўсіх») і ∃ («для некаторых», існуе... такое, што...»), якія адпаведна наз. квантарамі агульнасці і існавання. Для выяўлення структуры выказванняў уводзіцца бясконцы пералік індывідных пераменных x, y, z ... x​¹, y​¹, z​¹, .... якія ўяўляюць сабой розныя аб’екты, і бясконцы пералік прэдыкатных пераменных P, Q, R, ..., P​¹, Q​¹, R​¹ ..., якія ўяўляюць сабой уласцівасці і адносіны аб’ектаў. Запіс (∀x)P(x) азначае «Усякі x валодае ўласцівасцю P»; (∃x)P(x) — «некаторыя x валодаюць уласцівасцю P» і (∃xQ(xy) — «існуе x, які знаходзіцца ў адносінах Q з y» і да т.п. Квантары могуць звязваць у формулах індывідныя (звязаныя) пераменныя. Індывідныя пераменныя, не звязаныя ў формуле квантарамі, наз. свабоднымі. Так, ва ўсіх трох прыведзеных формулах пераменная х звязаная, у апошняй формуле пераменная у свабодная. Звязаныя пераменныя наз. фіктыўнымі. Формулы, якія прымаюць значэнне «ісціна» ў кожнай інтэрпрэтацыі, наз. агульназначнымі. Існуюць таксама некласічныя Л.п., якія прапануюць іншыя тлумачэнні лагічных звязак і квантара.

Літ.:

Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. М., 1982;

Жуков Н.И. Философские основания математики. 2 изд. Мн. 1990.

С.​Ф.​Дубянецкі.

т. 9, с. 335