Verbum

ВЫ́ВАД у логіцы, разважанне, у ходзе якога з зыходных суджэнняў (выказванняў), пасылак ці прадпасылак выводзіцца заключэнне — суджэнне, што лагічна з іх вынікае. Вывад можа быць непасрэдны і ўскосны, дакладны і гіпатэтычны. У сімвалічнай логіцы вывад вызначаецца больш строга — як паслядоўнасць выказванняў ці формул, што складаецца з аксіём, пасылак і раней даказаных формул (тэарэм). У матэматычнай логіцы пад вывадам разумеюць паслядоўнасці формул, дзе кожная з’яўляецца або зыходнай формулай, або аксіёмай, або вынікам, атрыманым паводле правіл логікі з папярэдніх формул. Гл. Дэдукцыя, Індукцыя.

т. 4, с. 301

ЗЛУЧЭ́ННЕ ХІМІ́ЧНАЕ,

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

т. 7, с. 93

ЗНА́КІ ХІМІ́ЧНЫЯ, сімвалы хімічныя,

скарочаныя літ. абазначэнні элементаў хімічных і іх атамаў. Абазначаюцца першай ці першай і адной з наступных літар лац. назвы хім. элемента. Увёў шведскі хімік Ё.Берцэліус (1814). Напр., S — cepa (Sulfur), Ca — кальцый (Calcium), Cd — кадмій (Cadmium). Для абазначэння ізатопаў да З.х. злева прыпісваюць зверху масавы лік, а знізу — атамны нумар (напр., ${\mathrm{}}_{20}^{40}\mathrm{Ca}$, ${\mathrm{}}_{20}^{42}\mathrm{Ca}$, ${\mathrm{}}_{20}^{43}\mathrm{Ca}$;); для іонаў уверсе справа ад З.х. паказваюць зарад (напр., Ca​²⁺, S​^2-). З.х. карыстаюцца пры запісе формул хімічных.

т. 7, с. 100

ВЕ́ДЫ

(санскр. веда літар. веды),

ведычная літаратура, помнікі стараж.-індыйскай літаратуры (канец 2-га — 1-я пал. 1-га тыс. да н.э.). Напісаны на стараж.-інд. (ведыйскай) мове. Адлюстроўваюць рэліг. ўяўленні і міфалогію стараж. інд. грамадства. Складаюцца з 4 зборнікаў гімнаў, малітваў і ахвярных формул і паэт строф: «Рыгведа» (Кніга гімнаў), «Самаведа» (Веда мелодый), «Яджурведа» (Веда ахвярапрынашэнняў), «Атхарваведа» (Веда заклінанняў), а таксама з тэалагічных трактатаў (брахманы, араньякі і упанішады). Веды — крыніца звестак па сац.-эканам. і культ. гісторыі стараж. Індыі.

т. 4, с. 57

ГО́НАЧНЫ АЎТАМАБІ́ЛЬ,

аднамесны аўтамабіль, прызначаны для скорасных спаборніцтваў на кальцавых закрытых (для інш. транспарту) трасах. Адрозніваецца малой масай, магутным рухавіком, размяшчэннем колаў па-за межамі кузава, адсутнасцю крылаў у колаў і інш. Паводле Міжнар. класіфікацыі адносяць да груп 7 і 8. У групу 7 уваходзяць гоначныя аўтамабілі формул — 1 (аб’ём рухавіка да 3000 см³ без наддуву ці да 1500 см³ з наддувам), 2 (да 2000 см³), 3 (да 2000 см³ з абмежаваннем магутнасці); у групу 8 — гоначны аўтамабіль «свабоднай» формулы (параметры ўстанаўлівае спарт. федэрацыя краіны). Гл. таксама Карт.

т. 5, с. 351

А́ДРАСНАЯ МО́ВА ў вылічальнай тэхніцы,

фармальная мова для апісання працэсаў пераўтварэння інфармацыі ў ЭВМ. Кожны элемент інфармацыі адпавядае пэўнаму адрасу (напр., нумару ячэйкі памяці ЭВМ); некаторыя адрасы могуць адпавядаць інш. адрасам. Напр., калі элемент інфармацыі (адрас) b адназначна адпавядае адрасу a, то ў адраснай мове гэта запісваецца формулай $’\mathrm{a}=\mathrm{b}$ (адрасная функцыя). Вылічэнне новых значэнняў і іх засылка на пэўныя адрасы задаюцца адраснай формулай (2 адрасныя функцыі, злучаныя знакам засылкі =>). Запіс b => a азначае, што элемент b засылаецца на адрас a, пасля чаго $’\mathrm{a}=\mathrm{b}$. Адрасны алгарытм (паслядоўнасць адрасных формул і інш. сімвалаў) спец. праграмамі-транслятарамі пераўтвараецца ў праграму на мове ЭВМ.

т. 1, с. 136

ЛАГІ́ЧНЫ ЗАКО́Н,

любое сапраўднае лагічнае сцвярджэнне. Да Л.з. адносяцца законы логікі выказванняў (напр., закон несупярэчнасці, закон выключанага трэцяга, закон ускоснага доказу) або логікі прэдыкатаў. Напр., у выраз «няправільна, што р і не-р адначасова верныя» (закон несупярэчнасці) замест пераменнай р трэба падставіць выказванне; усе вынікі такіх падстановак уяўляюць сабой сапраўдныя выказванні (напр., «няправільна, што 11 — просты лік і разам з тым не з’яўляецца простым»). Кожная з лагічных сістэм утрымлівае бясконцае мноства Л.з. і ўяўляе сабой абстрактную знакавую мадэль, якая дае апісанне якога-н. пэўнага фрагмента або тыпу разважанняў. На фармалізаванай мове логікі ўсякі яе закон — гэта заўсёды сапраўдная, правільна пабудаваная формула; можна пабудаваць бясконцае мноства такіх формул, але Л.з. лічаць толькі тыя з іх, якія інтэрпрэтаваны на пазнаючае чалавечае мысленне. Гл. таксама Інтуіцыянізм.

В.М.Пешкаў.

т. 9, с. 89

ЗЛІЧЭ́ННЕ,

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

У матэматычнай логіцы любое З. адназначна задаецца зыходнымі элементамі (алфавітам З.), правіламі ўтварэння формул дадзенага З. (слоў ці выразаў), сукупнасцю аксіём і правіл пераўтварэння (вывядзення) яго фразеалогіі. Прыпісванне элементам З. пэўных значэнняў (гл. Семантыка лагічная) пераўтварае З. ў фармалізаваную мову. Напр., у З. выказванняў шляхам пэўнай канечнай працэдуры (доказу; улічваецца толькі праўдзівасць ці непраўдзівасць выказвання) атрымліваюць выказванні-тэарэмы (гл. Логіка выказванняў). У выніку атрымліваюць лагічную сістэму, якая фармалізуе разважанне, заснаванае на структуры складаных выказванняў у адрозненне ад унутранай структуры элементарных выказванняў. Пры З. прэдыкатаў атрымліваюць сцвярджэнні (формулы, тэарэмы) з улікам суб’ектна-прэдыкатыўнай структуры выказванняў (напр., «элемент X мае ўласцівасць P), што дае магчымасць выяўляць сувязь аб’ектаў з іх уласцівасцямі і суадносіны паміж імі, колькасна характарызаваць сувязь рэчаў, уласцівасцей і адносін з дапамогай лагічных эквівалентаў выразаў «усе», «некаторыя», «кожны» і інш. (гл. Квантары). Такое З. адпавядае логіцы прэдыкатаў, калі яно мае ўласцівасці несупярэчлівасці (кожная тэарэма агульназначная) і паўнаты (кожная агульназначная формула даказальная). З. прэдыкатаў уключае З. выказванняў і разглядаецца звычайна як яго пашырэнне шляхам фармалізацыі вывадаў, заснаваных на ўнутранай структуры выказванняў. Тэорыю З. прэдыкатаў распрацаваў ням. логік, матэматык і філосаф Г.Фрэге, чым істотна ўзбагаціў сілагістыку Арыстоцеля і традыц. сілагістыку. Абагульненне З. выказванняў — З. класаў, дзе дадаткова разглядаецца суб’ектна-прэдыкатная структура выказванняў і пры гэтым з кожным прэдыкатам (уласцівасцю) звязваецца ўся сукупнасць элементаў (клас) з разгляданай вобласці, якія маюць гэтую ўласцівасць (гл. Логіка класаў). З. класаў часам разглядаюць як фармалізаваную тэорыю мностваў, выкарыстоўваюць як дапаможны этап пры пераходзе ад З. выказванняў да З. прэдыкатаў і будуюць на базе З. выказванняў з дапамогай адпаведнай інтэрпрэтацыі яго формул.

Літ.:

Гильберт Д., Аккерман В. Основы теоретической логики: Пер. с нем. М., 1947;

Методологические проблемы развития и применения математики. М., 1985;

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

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

т. 7, с. 76

АСМАГЛА́ССЕ,

сістэма знаменнага распеву ў стараж.-правасл. пеўчым мастацтве. Складалася з 8 самаст. частак — гласаў, якія ўяўлялі сабой арганізацыю песнапенняў, засн. на пэўным меладычным папевачным складзе і суаднясенні папевак, падпарадкаваных ладавай апорнасці.

Песнапенні аднаго гласа спяваліся на працягу тыдня, пасля іх змянялі песнапенні наступнага па парадкавым нумары гласа. 8-тыднёвы цыкл з 1-га да 8-га гласа ўтвараў т.зв. стоўп (песнапенні святаў маглі не супадаць з тыднёвымі). Парадак чаргавання гласаў канчаткова ўсталяваўся ў 15 ст. Сістэме асмагласся падпарадкаваны знаменны распеў, пуцявы, грэчаскі, балгарскі, кіеўска-літоўскі і інш., у тым ліку мясц. распевы на Беларусі — супрасльскі, слуцкі, жыровіцкі і інш. Унутраная муз. арганізацыя гласаў і сістэмы асмагласся магла будавацца на аснове 2 прынцыпаў — ладава-гукараднага (суаднясенне пануючага і канечнага тонаў) і ладава-меладычнага (сума меладычных формул — папевак; фіксаваліся строга замацаванымі за імі графічнымі знакамі). З развіццём мелодыкі песнапенняў сістэма асмагласся часткова парушылася, гласы часткова страцілі ладава-меладычную характэрнасць. Асн. рысы асмагласся — дыятанізм, у меладычнай аснове — лады-інтанацыі, лады-папеўкі, унутрыладавая шматустойнасць. Звод асмагласся змешчаны ў «Асмагласніку», або «Актоіху». Найб. вядомыя асмаглассі: «Сімвал веры», «Свеце ціхі», трапар «Уваскрэсенне Хрыстова».

Л.П.Касцюкавец.

т. 2, с. 37