Verbum

ЗЛУ́ЧНІК,

службовае слова ці спалучэнне слоў, якое злучае члены сказа, часткі складанага сказа ці цэлыя сказы; не мае самаст. лексічнага значэння.

У сучаснай бел. мове паводле марфалаг. складу З. падзяляюцца на простыя (невытворныя «а», «і», «ды», «бо», «ці», вытворныя «што», «толькі», «бо», «аж», «дый») і састаўныя («таму што», «як быццам», «для таго каб»); паводле сінтакс. функцыі — на злучальныя (звязваюць раўнапраўныя сінтакс. адзінкі) і падпарадкавальныя (звязваюць сінтакс. адзінкі, з якіх адна паясняе другую). Сярод злучальных вылучаюцца спалучальныя («і», «ды», «дый», «таксама»), супастаўляльныя («а», «але», «ды», «аднак») і пералічальна-размеркавальныя («ці-ці», «ні-ні», «то-то»); сярод падпарадкавальных — часавыя («калі», «пакуль», «як толькі»), умоўныя («калі 6», «каб», «раз»), прычынныя («бо», «таму што»), мэтавыя («каб», «абы», «для таго каб»), уступальныя («хоць», «няхай»), выніковыя («так што») і параўнальныя («як», «бы», «нібыта»), У ролі З. бываюць і злучальныя словы — займеннікі і прыслоўі («які», «дзе», «што»).

Літ.:

Беларуская граматыка. Ч. 1. Мн., 1985.

П.​П.​Шуба.

т. 7, с. 93

т. 7, с. 93

ЗБЕ́ЖНАСЦЬ,

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

А.​А.​Гусак.

т. 7, с. 28

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

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

Літ.:

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

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

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

т. 9, с. 334