цёмначы прысл. разм.

1. (да світання) vor Tgesanbruch, vor dem Hllwerden;

2. (калі сцямнела) schon im Fnstern

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

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

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

Літ.:

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

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

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

т. 9, с. 334

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

if2 [ɪf] conj.

1. калі́;

I’ll help him if I can. Я памагу яму, калі здолею;

if I were you на ва́шым ме́сцы;

If I were you I’d stay. (Калі б я быў) на вашым месцы, я б застаўся.

2. ці; І’ll see if he is here. Я гляну, ці ён тут.

Англійска-беларускі слоўнік (Т. Суша, 2013, актуальны правапіс)

łaskaw

кніжн. ласкавы, прыхільны;

bądź łaskaw — будзь ласкавы; калі ласка;

bądź łaskaw położyć to tam — калі ласка, пакладзі гэта там

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

unless [ənˈles] conj.

1. калі́ не;

unless I’m mistaken… калі́ я не памыля́юся…

2. хі́ба то́лькі; паку́ль;

I shan’t come unless you really want me to. Я не прыйду, пакуль вы гэтага не захочаце.

Англійска-беларускі слоўнік (Т. Суша, 2013, актуальны правапіс)

sometime

[ˈsʌmtaɪm]

1.

adv.

1) не́калі, калі́о́лечы, калі́е́будзь

Come over sometime — Захо́дзь калі́е́будзь

2) не́калі, не́дзе

it happened sometime last March — Гэ́та зда́рылася не́дзе ле́тась у сакавіку́

2.

adj.

ко́лішні, былы́

a sometime pupil of the school — ко́лішні ву́чань гэ́тае шко́лы

Ангельска-беларускі слоўнік (В. Пашкевіч, 2006, класічны правапіс) 

АБСАЛЮ́ТНАЯ ВЕЛІЧЫНЯ́ рэчаіснага ліку, велічыня, роўная гэтаму ліку, калі ён дадатны, роўная процілегламу ліку, калі ён адмоўны, і роўная нулю, калі лік роўны нулю. Абсалютная велічыня ліку a абазначаецца (a). Напр., (+2) = (-2) = 2, (0) = 0. Абсалютная велічыня (або модуль) комплекснага ліку a + bi, дзе a і b — рэчаісныя лікі, роўныя (a + bi) = +a2 + b2 . Напр., (i) = (-i) = 1, (3 + 4i) = 5.

т. 1, с. 43

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

буго́ня

1. Ралля ці від ворыва, калі пасярэдзіне ўчастка ўзвышаецца пачатковая двайная баразна (Слаўг.).

2. Ворыва ўроскідку (Ветк.).

Беларускія геаграфічныя назвы. Тапаграфія. Гідралогія. (І. Яшкін, 1971, правапіс да 2008 г.)

перакаві́к Градка, якая арэцца ўпоперак паласы, калі нельга правесці плугам па даўжыні да самага канца загона (Сміл. Шат.).

Беларускія геаграфічныя назвы. Тапаграфія. Гідралогія. (І. Яшкін, 1971, правапіс да 2008 г.)

праскамі́дыя

(гр. proskomide)

частка царкоўнага богаслужэння, калі рыхтуюцца святыя дары.

Слоўнік іншамоўных слоў (А. Булыка, 1999, правапіс да 2008 г.)