Verbum

НЕПЕРАРЫ́ЎНАСЦЬ у матэматыцы,

адно з важнейшых паняццяў, якое існуе ў 2 асн. канцэпцыях — Н. мноства (гл. Кантынуум) і Н. адлюстравання.

Н. адлюстравання — абагульненне паняцця сапраўднай неперарыўнай функцыі на адвольныя адлюстраванні: адназначнае адлюстраванне y = 𝑓(x) некаторага мноства X элементаў x на мноства Y элементаў y наз. неперарыўным. калі са збежнасці паслядоўнасці x₁, x₂, ..., x_n, ... элементаў мноства X да x вынікае збежнасць іх вобразаў 𝑓(x₁), 𝑓(x₂), …, 𝑓(x_n), ... да вобраза 𝑓(x) лімітавага элемента x. Такім чынам, Н. адлюстравання аднаго мноства на другое залежыць ад таго, як у зададзеных мноствах вызначаны лімітавыя суадносіны. Мноства элементаў з пэўнымі лімітавымі суадносінамі паміж імі наз. тапалагічнай прасторай.

т. 11, с. 288

О’БРА́ЕН (O’Brien) Джэймс [псеўданім, які ператварыўся ў другое імя, Бронтэр (Bronterre); 6.2.1805, г. Гранард, Вялікабрытанія — 23.12.1864], адзін з лідэраў і ідэолагаў чартызму ў Вялікабрытаніі. У 1830-я г. радыкальны журналіст. Быў рэдактарам шэрагу чартысцкіх выданняў, у сваіх артыкулах імкнуўся даць тэарэт. і гіст. абгрунтаванне чартызму: выкрываў класавыя супярэчнасці капіталіст. грамадства, прапаноўваў рэв. шлях пераўтварэння грамадства на сацыяліст. пачатках. Гал. сродкам дасягнення сац. роўнасці лічыў нацыяналізацыю зямлі, прыватную ўласнасць на сродкі вытв-сці разглядаў як ін-т, сумяшчальны з сацыялізмам. У 1840—41 зняволены. З 1848 прыхільнік мірных рэформ. Заснаваная ім у 1849—50 Нац. ліга рэформ пазней далучылася да Інтэрнацыянала 1-га.

т. 11, с. 425

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

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

Літ.:

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

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

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

т. 9, с. 334