ЛАГІЦЫ́ЗМ,

кірунак у асновах матэматыкі, у якім зыходныя паняцці матэматыкі зводзяцца да паняццяў логікі. Ідэі Л. прапанаваны Г.В.Лейбніцам. У сістэматызаваным выглядзе выкладзены Г.​Фрэге ў кн. «Асноўныя законы арыфметыкі» (т. 1—2, 1893—1903). Ён прапанаваў звядзенне асноўнага для матэматыкі паняцця натуральнага ліку да аб’ёмаў паняццяў і распрацаваў лагічную сістэму, сродкамі якой можна было даказаць усе тэарэмы арыфметыкі. Дактрына Л. развіта Б.Раселам, які выявіў у сістэме Фрэге супярэчнасць («парадокс Расел», гл. Парадокс). У кн. «Прынцыпы матэматыкі» (т. 1—3, 1910—13) Расел і А.Н.Уайтхед прапанавалі т.зв. тэорыю тыпаў, у якой парадоксаў можна пазбегнуць пры дапамозе спец. іерархіі паняццяў. У далейшым К.Гёдэль паказаў, што сістэмы Л. няпоўныя, іх сродкамі можна сфармуляваць змястоўна правільныя, але не вырашальныя матэм. сцвярджэнні (сцвярджэнні, якія нельга даказаць і нельга абвергнуць). Сістэмы Л. садзейнічалі фарміраванню і ўдакладненню важнейшых логіка-матэм. ідэй, зрабілі значны ўплыў на развіццё матэматычнай логікі і навукі.

В.​М.​Пешкаў.

т. 9, с. 89

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

тэарэ́ма ж. матэм. Theorm n -s, -e;

даказа́ць тэарэ́му ein Theorm bewisen*

Беларуска-нямецкі слоўнік (М. Кур'янка, 2010, актуальны правапіс) 

разграмі́ць, -млю́, -мі́ш, -мі́ць; -мі́м, -міце́, -мя́ць; -ро́млены; зак., каго-што.

1. Разарыць, разбурыць.

Р. абсталяванне.

Р. склады.

2. Разбіць, знішчыць у баі, у выніку барацьбы.

Р. варожы гарнізон.

3. перан. Раскрытыкаваць, даказаць ілжывасць, памылковасць чыіх-н. перакананняў; разнесці.

Р. артыкул.

|| наз. разгро́м, -у, м.; прым. разгро́мны, -ая, -ае.

Разгромнае выступленне ў друку.

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

«КОН-ЦІ́КІ»

(назва ад імя бога інкаў),

плыт з бальзавых дрэў з трысняговым парусам, зробленым Т.Хеердалам на ўзор старажытнаперуанскіх плытоў. У 1947 на «К.-Ц» (пл. каля 100 м²) Хеердал разам з 5 спадарожнікамі здзейсніў плаванне, выкарыстоўваючы спадарожныя цячэнні і пасаты, з Кальяо (Перу) да а-воў Туамоту ў Ціхім ак. (каля 8 тыс. км за 101 суткі), каб даказаць магчымасць засялення Палінезіі з У. Захоўваецца ў музеі ў г. Осла.

т. 8, с. 412

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

а́лібі нескл. н. юрыд. libi n -s, -s;

даказа́ць сваё а́лібі sein libi nchweisen*

Беларуска-нямецкі слоўнік (М. Кур'янка, 2010, актуальны правапіс) 

дака́зваць несов.

1. (договаривать) доска́зывать;

2. дока́зывать;

3. прост. (делать донос) доноси́ть;

1-3 см. даказа́ць1-3

Беларуска-рускі слоўнік, 4-е выданне (2012, актуальны правапіс)

апраўда́ць, -а́ю, -а́еш, -а́е; -а́ны; зак.

1. каго (што). Прызнаць невінаватым, вынесці апраўдальны прыгавор.

А. падсуднага.

2. што. Даказаць магчымасць чаго-н.

Старацца а. які-н. учынак.

3. што. Паказаць сябе дастойным чаго-н.

А. высокае званне.

А. давер калектыву.

4. што. Акупіць, кампенсаваць.

Расходы апраўдаюць сябе.

|| незак. апра́ўдваць, -аю, -аеш, -ае.

|| наз. апраўда́нне, -я, н.

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

dowieść

зак.

1. давесці, даказаць;

2. давесці, прывесці

Польска-беларускі слоўнік (Я. Волкава, В. Авілава, 2004, правапіс да 2008 г.)

«РА»

(ад імя стараж.-егіп. бога сонца),

лодка, пабудаваная з папірусу паводле ўзору стараж.-егіп. суднаў нарв. этнографам і падарожнікам Т.Хеердалам. Даўж. 12 м, шыр. 5 м. На «Ра» Хеердал з інтэрнац. экіпажам з 7 чал. распачаў экспедыцыі з мэтай даказаць магчымасць плавання стараж. егіпцян цераз Атл. ак. у Амерыку. 1-я экспедыцыя (1969) скончылася няўдачай з-за дэфектаў канструкцыі судна. У 1970 «Ра-2», якая выйшла з порта Сафі (Марока), за 57 дзён дасягнула в-ва Барбадас.

т. 13, с. 181

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

уличи́ть сов.

1. (изобличить) вы́крыць; (обвинить) абвінава́ціць, мног. паабвінава́чваць; (поймать) злаві́ць; см. улича́ть 1;

2. (доказать) даве́сці, даказа́ць.

Руска-беларускі слоўнік НАН Беларусі, 10-е выданне (2012, актуальны правапіс)