Verbum

АЛЮ́РЫ (франц. allure літар. хада),

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

т. 1, с. 292

РО́ЗНІЧНЫ ТАВАРААБАРО́Т,

1) продаж тавараў нар. спажывання непасрэдна спажыўцам; завяршальная стадыя працэсу таварнага абарачэння. Уключае прададзеныя насельніцтву тавары і паслугі, якія аказаны прадпрыемствамі рознічнага гандлю, грамадскага харчавання і бытавога абслугоўвання, дробнааптовы продаж прадпрыемствам і арг-цыям, рэалізаваную на рынках прадукцыю.

2) Эканам. паказчык, які адлюстроўвае сукупную вартасць продажу тавараў нар. спажывання непасрэдна спажыўцам. У 1990 у Рэспубліцы Беларусь Р.т. склаў 18,7 млрд. руб., у 1995—46 853 млрд. руб., у 1999—1 502 028 млрд. руб. Для адлюстравання дынамікі Р.т. выкарыстоўваюць індэксы фіз. аб’ёму Р.т., якія разлічваюцца ў супастаўных цэнах. Калі за 100% фіз. аб’ёму Р.т. ў Рэспубліцы Беларусь лічыць Р.т. 1990, то ў 1995 Р.т. склаў 43,1%, а ў 1999—92,5%. За апошняе дзесяцігоддзе значна вырасла роля недзярж. прадпрыемстваў гандлю, грамадскага харчавання і быт. абслугоўвання: калі ў 1990 іх уклад у агульны Р.т. у Рэспубліцы Беларусь складаў 34,2%, то ў 1999—73,1%.

т. 13, с. 401

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

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

Літ.:

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

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

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

т. 9, с. 334