памеркава́ць, ‑мяркую, ‑мяркуеш, ‑мяркуе; зак.

1. Усебакова разгледзець, абдумаць што‑н., дзелячыся сваімі думкамі, меркаваннямі. [Бацька:] — Вось мы са Сцяпанам Іванавічам памеркавалі і вырашылі, што табе няма чаго ісці адсюль. Новікаў. [Васіль:] — Давай, Маша, разам памяркуем, ці трэба ён, гэты твой подзвіг? Шамякін.

2. Падумаўшы, разважыць, прыйсці да якога‑н. вываду. — Падумаў, памеркаваў [дырэктар], а потым загад: заараць канюшыну! І зааралі. Кулакоўскі.

Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)

пасы́лка, ‑і, ДМ ‑лцы; Р мн. ‑лак; ж.

1. Дзеянне паводле дзеясл. пасылаць — паслаць ​1 (у 1–2 знач.).

2. Запакаваная рэч, якая перасылаецца куды‑н. ці прысланая адкуль‑н. Люся чакала пісьма з Маркоўскага, але ні пісьма, ні пасылкі пакуль што не было. Даніленка.

3. У філасофіі, логіцы — суджэнне, якое служыць асновай для вываду.

Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)

КРУ́ПЧЫЦКІ БОЙ 1794.

бой паміж паўстанцамі і рас. войскам у час паўстання 1794. Адбыўся 17.9.1794 каля в. Крупчыцы Кобрынскага пав. (цяпер Жабінкаўскі р-н). З абодвух бакоў удзельнічала каля 20 тыс. чал. Паўстанцы пад камандаваннем К.​Серакоўскага дзякуючы выгаднай стратэгічнай пазіцыі з дапамогай артылерыі (28 гармат) паспяхова стрымлівалі атакі кавалерыі і пяхоты праціўніка. Аднак пасля абходнага манеўра А.​В.​Суворава і вываду ім часткі войска цераз р. Трасцяніца ў фланг абароны паўстанцаў апошнія пачалі адыходзіць у напрамку Брэста. У час бою абодва бакі страцілі каля 300 чал. забітымі і параненымі. 19 вер. каля в. Цярэспаль Брэсцкага пав. рас. войскі разбілі паўстанцаў.

У.​П.​Емяльянчык.

т. 8, с. 488

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

ПЛЯСЕ́ЦК,

касмадром у Архангельскай вобл. Рас. Федэрацыі. Засн. ў 1957. Гал. аб’екты: стартавыя комплексы, тэхн. пазіцыі, вымяральныя пункты, г. Мірны. Першы старт ракеты-носьбіта з ШСЗ «Космас—112» здзейснены 17.3.1966. З П. адбылося больш за 1500 запускаў ракет-носьбітаў; на каляземныя арбіты выведзена каля 2000 ШСЗ навук., нар.-гасп., ваен. і інш. прызначэння (1.1.2001). Выпрабавана 10 ракетна-касм. комплексаў, 11 ракет-носьбітаў, у т. л. «Саюз» і «Саюз-2», «Маланка», «Цыклон», «Космас» і інш., пры дапамозе якіх на каляземныя арбіты выводзіліся ШСЗ «Маланка», «Метэор», «Акіян», «Фатон», «Інтэркосмас» і інш. Ракеты-носьбіты выкарыстоўваюцца таксама для вываду на арбіты апаратуры і ШСЗ інш. краін.

У.​С.​Ларыёнаў.

т. 12, с. 440

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

АКСІЯМАТЫ́ЧНЫ МЕ́ТАД,

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

Узнік у работах стараж.-грэч. матэматыкаў. Напр., у «Асновах» Эўкліда праведзена ідэя атрымання асн. зместу геаметрыі з невялікай колькасці аксіём, праўдзівасць якіх лічыцца відавочнай. Адкрыццё ў 19 ст. неэўклідавых геаметрый стымулявала ўзнікненне праблем больш агульнага характару (напр., несупярэчлівасці, паўнаты і незалежнасці той ці інш. сістэмы аксіём). Гэта адкрыла шлях да фармалізаванага развіцця тэорый: пошуку інш. сістэм паняццяў (тэорый, галін ведаў), якія падпарадкоўваюцца тым жа аксіёмам, выяўлення новых інтэрпрэтацый пэўнай сістэмы аксіём, што дало магчымасць адкрываць новыя навук. факты. Д.Гільберт і яго школа спадзяваліся на аснове аксіяматычнага метаду вырашыць гал. пытанні абгрунтавання матэматыкі. Аднак вынікі аўстр. і амер. матэматыка і логіка К.​Гёдэля (1931) выявілі неажыццявімасць гэтай праграмы, напр. тэарэма аб непаўнаце арыфметыкі сведчыць аб абмежаванасці аксіяматычнага метаду. У 20 ст. дзякуючы развіццю матэматычнай логікі стала магчымым аксіяматызаваць тыя сродкі логікі, з дапамогай якіх выводзяцца адны сцвярджэнні аксіяматычнай тэорыі з інш. яе сцвярджэнняў, што мае істотнае значэнне для аўтаматызацыі разумовай працы.

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

Літ.:

Садовский В.Н. Аксиоматический метод построения научного знания // Философские вопросы современной формальной логики. М., 1962;

Столл Р. Множества. Логика: Аксиоматич. теории.: Пер. с англ. М., 1968;

Новиков П.С. Элементы математической логики. 2 изд. М., 1973.

Р.​Т.​Вальвачоў, У.​К.​Лукашэвіч.

т. 1, с. 207

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

вы́вад, ‑а і ‑у, М ‑дзе, м.

1. ‑у. Дзеянне паводле дзеясл. выводзіць — вывесці (у 1–3 знач.).

2. ‑у. Суджэнне, якое лагічна вынікае з меркаванняў. Тэарэтычныя, практычныя вывады. Канчатковы вывад. □ Круцілі і так і гэтак і кожны раз прыходзілі да вываду — трэба будаваць новыя печы. Карпаў.

3. ‑а. Спец. Провад або спецыяльнае прыстасаванне, прызначанае для сувязі са знешнім асяроддзем.

Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)

АЙДУКЕ́ВІЧ ((Ajdukiewicz) Казімеж) (12.12.1890, г. Цярнопаль, Украіна — 12.4.1963),

польскі логік, філосаф. Правадзейны чл. Польскай АН (з 1952). Праф. Львоўскага, Варшаўскага ун-таў (1925—38). У 1938 узначаліў Пазнанскае філас. т-ва, з 1953 гал. рэдактар час. «Studia logica» («Лагічныя даследаванні»). Прадстаўнік львоўска-варшаўскай школы, якая ставіла задачу лагічнага абгрунтавання і ўмацавання рацыяналізму ў процівагу ірацыяналізму. Паводле філас. поглядаў быў блізкі да ідэй лагічнага пазітывізму. Распрацаваў логіка-семантычную канцэпцыю значэння як спосабу ўжывання тэрміна ў пэўнай канцэптуальнай сістэме тэорыі лагічнага вываду, індуктыўнай логікі, азначэння, лагічнай семантыкі і сінтаксісу.

Тв.:

Język i poznanie. T. 1—2. Warszawa, 1960—65: The scientific world-perspective and other essays, 1931—63. Dordrecht, 1978.

Г.​У.​Грушавы.

т. 1, с. 174

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

ПАСЫ́ЛКА (у традыц. логіцы),

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

т. 12, с. 176

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

прыйсці́, прыйду́, пры́йдзеш, пры́йдзе; прыйшо́ў, -шла́, -ло́; прыйдзі́; зак.

1. Ідучы, дасягнуць чаго-н., з’явіцца куды-н.

2. (1 і 2 ас. не ўжыв.). Наступіць, настаць, узнікнуць.

Прыйшоў час ісці ў школу.

Прыйшло каханне.

3. у што. Дайсці да якога-н. стану (абазначанага назоўнікам).

П. ў заняпад.

П. ў норму.

П. ў захапленне.

П. ў сябе (заспакоіцца, апрытомнець).

4. да чаго. Дасягнуць чаго-н. шляхам якіх-н. дзеянняў, намаганняў.

П. да ладу.

П. да вываду.

|| незак. прыхо́дзіць, -джу, -дзіш, -дзіць.

|| наз. прыхо́д, -у, М -дзе, м. (да 1 і 2 знач.).

Тлумачальны слоўнік беларускай літаратурнай мовы (І. Л. Капылоў, 2022, актуальны правапіс)

КЭМП-ДЭ́ВІДСКІЯ ПАГАДНЕ́ННІ 1978,

комплекс пагадненняў паміж Ізраілем і Егіптам пры пасрэдніцтве ЗША аб мірным урэгуляванні Блізкаўсходняга канфлікту. Падпісаны 17 вер. ў загараднай рэзідэнцыі прэзідэнта ЗША Дж.Картэра ў Кэмп-Дэвідзе (адсюль назва) прэзідэнтам Егіпта А.Садатам, прэм’ер-міністрам Ізраіля М.Бегінам і Картэрам (сведка). Прадугледжвалі наданне абмежаванага самакіравання арабам-палесцінцам з Зах. берага р. Іардан і сектара Газа, заключэнне егіпецка-ізраільскага сепаратнага мірнага дагавора (падпісаны ў Вашынгтоне 26.3.1979 на ўмовах вываду ізраільскіх войск з Сінайскага п-ва, куды часова ўводзіліся войскі ЗША і краін НАТО). За гэтыя пагадненні Садату і Бегіну прысуджана Нобелеўская прэмія міру 1978. К.-д.п., падпісаныя без удзелу Арганізацыі Вызвалення Палесціны, не былі прызнаны ААН, большасцю араб. краін, тагачасным кіраўніцтвам СССР і ў Палесціне фактычна не выконваліся, аднак палепшылі егіпецка-ізраільскія адносіны.

т. 9, с. 76

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)