Verbum

КВАЗІПРУ́ГКАЯ СІ́ЛА,

пераменная сіла $\overrightarrow{F}$, якая дзейнічае на матэрыяльны пункт, прапарцыянальная і процілеглая па напрамку зрушэнню $\overrightarrow{r}$ пункта са становішча раўнавагі: $\overrightarrow{F}=-k\overrightarrow{r}$ , дзе k — каэф. К.с. Квазіпругкімі з’яўляюцца сілы, што ўзнікаюць пры малых дэфармацыях пругкіх цел, датычная складальная сілы цяжару, якая дзейнічае на матэм. маятнік пры малых яго адхіленнях і інш. К.с. імкнецца вярнуць матэрыяльны пункт (M) у стан раўнавагі (O) і пры адсутнасці інш.. сіл выклікае гарманічныя ваганні пункта.

т. 8, с. 206

ВЫТВО́РЧАЯ МАГУ́ТНАСЦЬ,

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

Р.М.Шахлевіч.

т. 4, с. 327

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

раздзел логікі, у якім вывучаюцца лагічныя сувязі паміж выказваннямі з улікам іх унутранай (суб’ектна-прэдыкатнай) структуры; пашыраны варыянт логікі выказванняў. Прадметам даследавання з’яўляецца любая галіна аб’ектаў з дадзенымі на гэтых аб’ектах прэдыкатамі, г. зн. уласцівасцямі і адносінамі. У выніку фармалізацыі Л.п. прымае выгляд розных злічэнняў (напр., злічэнне выказванняў). Пры аналізе ўплыву на лагічны вывад унутр. структуры выказванняў прэдыкаты разглядаюцца як функцыі, значэннямі якіх служаць выказванні. У дапаўненне да сімвалічных сродкаў логікі выказванняў у мову Л.п. уведзены лагічныя знакі — аператары ∀ («для ўсіх») і ∃ («для некаторых», існуе... такое, што...»), якія адпаведна наз. квантарамі агульнасці і існавання. Для выяўлення структуры выказванняў уводзіцца бясконцы пералік індывідных пераменных 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

АСЦЫЛЯ́ТАР (ад лац. oscillare вагацца) гарманічны, сістэма, што выконвае механічныя (матэм. маятнік), электрамагнітныя (вагальны контур) або інш. ваганні, пры якіх патэнцыяльная энергія прапарцыянальная квадрату адхілення ад стану раўнавагі. Па ліку ступеняў свабоды адрозніваюць лінейныя, 2-, 3-мерныя і інш. Класічны асцылятар — часціца масай m, што вагаецца каля стану ўстойлівай раўнавагі, дзе яе патэнцыяльная энергія u мае мінімум. Пры гэтым пераменная сіла, што дзейнічае на часціцу, ${\displaystyle \mathrm{F}=-\frac{\partial \mathrm{u}}{\partial \mathrm{x}}=-\mathrm{k}\mathrm{x}}$ , дзе k — пастаянная, x — зрушэнне ад стану раўнавагі. Пры малых зрушэннях x рух часціцы апісваецца лінейным ураўненнем гарманічнага вагання, калі зрушэнні x не малыя — нелінейным ураўненнем і асцылятар наз. ангарманічны. Квантавы асцылятар апісваецца Шродынгера ўраўненнем, у якім патэнцыяльная энергія ${\displaystyle \mathrm{E}=-\frac{\mathrm{k}{\mathrm{x}}^2}{2}}$ . Адрозненні квантавага асцылятара ад класічнага: дыскрэтны набор значэнняў энергіі і найменшая магчымая энергія не роўная нулю (гл. Нулявая энергія). Паняцце асцылятара шырока выкарыстоўваюць у тэарэт. фізіцы, у т. л. для апісання працэсаў эл.-магн. выпрамянення.

т. 2, с. 63

ЛО́ГІКА ВЫКА́ЗВАННЯЎ,

прапазіцыянальная логіка, раздзел логікі, у якім вывучаюцца лагічныя сувязі паміж простымі і складанымі выказваннямі. Простае (атамарнае) выказванне не ўключае ў сябе іншыя выказванні і разглядаецца як пераменная, якая прымае або ісціннае, або няісціннае значэнне. Канкрэтны змест і ўнутр. структура выказванняў пры гэтым не разглядаюцца. Складанае выказванне складваецца з іншых выказванняў пры дапамозе ўзаемазвязаных лагічных (прапазіцыянальных) звязак. Так, злучэнне двух выказванняў з дапамогай звязкі «і» дае складанае выказванне (кан’юнкцыю), якое з’яўляецца ісцінным, толькі калі абодва гэтыя выказванні ісцінныя. Складанае выказванне, утворанае з дапамогай звязкі «або» (дыз’юнкцыя), ісціннае, калі хаця б адно з гэтых двух выказванняў ісціннае. Складанае выказванне, утворанае з дапамогай «не» (адмаўленне), ісціннае, калі толькі зыходнае выказванне няісціннае. Складанае выказванне, атрыманае з двух выказванняў з дапамогай звязкі «калі, то» (імплікацыя), ісціннае ў 3 выпадках: абодва гэтыя выказванні ісцінныя, абодва яны няісцінныя; першае з выказванняў (за словам «калі») няісціннае, а другое (за словам «то») ісціннае, імплікацыя з’яўляецца няісціннай, толькі калі першае з яе выказванняў ісціннае, а другое няісціннае. Мова Л.в. уключае бясконцае мноства пераменных (P, g, r, ... P_i, g_i, r_i, якія ўяўляюць сабой выказванні), і асаблівыя сімвалы для лагічных звязак: & — кан’юнкцыя («і»), ∨ — дыз’юнкцыя («або»), ¬ — адмаўленне («не» або «няправільна, што»), → — імплікацыя («калі, то»), ↔ — эквівалентнасць («калі і толькі калі»). Л.в. можа быць прадстаўлена таксама ў форме лагічнага злічэння, у якім задаецца спосаб доказу некаторых выказванняў.

Літ.:

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

Брюшинкин В.Н. Практический курс логики для гуманитариев. М., 1996.

В.В.Краснова.

т. 9, с. 334