Verbum

А́ЛГЕБРА ЛО́ГІКІ,

раздзел матэматычнай логікі, які вывучае логікавыя аперацыі над выказваннямі. Заснавальнік — англ. матэматык Дж.Буль (1815—64). Алгебра логікі разглядае выказванні толькі з пункту гледжання іх праўдзівасці (пазначаюць лічбамі 1 — праўдзівасць і 0 — ілжывасць). Логікавыя аперацыі над выказваннямі даюць магчымасць будаваць новыя выказванні. Праўдзіваснае значэнне такога выказвання A (a₁,..., a_n), атрыманага пры дапамозе логікавых аперацый з прасцейшых выказванняў a₁, ..., a_n, адназначна выяўляецца праўдзіваснымі значэннямі зыходных выказванняў a₁,..., a_n. Таму кожнаму такому выказванню A (a₁, ..., a_n) адпавядае n-ме́сцавая функцыя, якая прымае значэнні 0,1, аргументы яе таксама прымаюць гэтыя значэнні. Такія функцыі наз. функцыямі алгебры логікі, ці булевымі, функцыямі. Яны могуць быць зададзеныя з дапамогай праўдзівасных табліц, якія маюць 2​ⁿ радкоў.

Логікавыя аперацыі: кан’юнкцыя &, дыз’юнкцыя ⋁, адмаўленне ¬, імплікацыя ⇒, эквіваленцыя ⇔ — могуць быць зададзеныя з дапамогай праўдзівасных табліц. Замест ¬x часам пішуць x̅. Ужываецца заданне функцый алгебры логікі і з дапамогай формул у мове, у якой ёсць пераменныя x, y, z... і сімвалы некаторых канкрэтных функцый. Найбольш ужывальная мова, якая мае логікавыя сімвалы &, ⋁, ¬, ⇒, ⇔. Кожнай формуле гэтай мовы адпавядае нейкая функцыя алгебры логікі, значэнне (0,1) якой пры дадзеных значэннях пераменных (0,1) знаходзіцца ў адпаведнасці з аперацыямі, з якіх пабудавана дадзеная формула. Такая функцыя рэалізуе дадзеную формулу. Формулы A і B наз. роўнымі (раўназначнымі), калі адпаведныя ім функцыі роўныя, г.зн. калі супадаюць іх праўдзівасныя табліцы. Азначэнне A=B ці A≡B, A~B, калі кажуць пра іх раўназначнасць. Важную ролю ў алгебры логікі маюць роўнасці, якія задаюць булеву алгебру.

Кожная функцыя алгебры логікі можа быць рэалізаваная нейкай формулай мовы з логікавымі сімваламі &, ⋁, ¬. Асаблівую ролю ў алгебры логікі адыгрываюць дыз’юнктыўныя і кан’юнктыўныя нармальныя формы, якія маюць вял. прыкладное значэнне. Сістэма функцый Ф. наз. функцыянальна поўнай, калі адвольная функцыя алгебры логікі можа быць рэалізаваная формулай, якая мае толькі сімвалы функцый з Ф. Напр., сістэмы функцый {&, ⋁, ¬}, {&, ¬}, {⋁, ¬}, {⇒, ¬}, {x | у}, {x ↓ у} функцыянальна поўныя (тут $\mathrm{x}|\mathrm{y}=\mathrm{x}\&\mathrm{y}\_$ , $\mathrm{x}\downarrow \mathrm{y}=\mathrm{x}\bigvee \mathrm{y}$ , якія наз. штрыхам Шэфера і стрэлкай Пірса адпаведна).

Алгебра логікі мае шмат дадаткаў, асабліва ў тэорыі эл. схем.

Р.Т.Вальвачоў.

т. 1, с. 234

БУЛЬ ((Boole) Джордж) (2.11.1815, г. Лінкальн, Вялікабрытанія — 8.12.1864),

англійскі матэматык і логік; заснавальнік матэм. логікі. Праф. матэматыкі (1849) Куінс-каледжа ў Корку (Ірландыя). Спец. матэматычнай адукацыі не меў. У працах «Матэматычны аналіз логікі» (1847), «Логікавае злічэнне» (1848), «Даследаванне законаў мыслення» (1854) распрацаваў алгебру логікі. Імем Буля названы асобныя алг. сістэмы — булевы алгебры.

т. 3, с. 332

ЛАГІ́СТЫКА (ад грэч. logistikē мастацтва вылічаць, разважаць),

1) назва этапа ў развіцці матэматычнай логікі, прадстаўленага працамі Б.Расела і яго школы (гл. Лагіцызм). У антычнасці тэрмінам «Л.» называлі практычныя аперацыі вылічэнняў і вымярэнняў у арыфметыцы ў процілегласць тэарэт. матэматыцы. У Г. Лейбніца — абазначэнне «вылічэння вывадаў» (calculus ratiocinator) 2) Сінонім ( у пэўнай ступені архаічны) тэрміна «матэм. логіка». У наш час тэрмін «Л.» выкарыстоўваюць для абазначэння матэм. логікі пры вырашэнні эканам. задач, аптымізацыі кіраўніцкіх функцый і інш. Вытворнымі ад «Л.» з’яўляюцца паняцці «лагістычны метад» (спосаб пабудовы фармалізаваных моў для розных раздзелаў логікі) і «лагістычная сістэма» (фармальная частка гэтых моў).

В.М.Пешкаў.

т. 9, с. 89

ЛАГІ́ЧНЫ ЗАКО́Н,

любое сапраўднае лагічнае сцвярджэнне. Да Л.з. адносяцца законы логікі выказванняў (напр., закон несупярэчнасці, закон выключанага трэцяга, закон ускоснага доказу) або логікі прэдыкатаў. Напр., у выраз «няправільна, што р і не-р адначасова верныя» (закон несупярэчнасці) замест пераменнай р трэба падставіць выказванне; усе вынікі такіх падстановак уяўляюць сабой сапраўдныя выказванні (напр., «няправільна, што 11 — просты лік і разам з тым не з’яўляецца простым»). Кожная з лагічных сістэм утрымлівае бясконцае мноства Л.з. і ўяўляе сабой абстрактную знакавую мадэль, якая дае апісанне якога-н. пэўнага фрагмента або тыпу разважанняў. На фармалізаванай мове логікі ўсякі яе закон — гэта заўсёды сапраўдная, правільна пабудаваная формула; можна пабудаваць бясконцае мноства такіх формул, але Л.з. лічаць толькі тыя з іх, якія інтэрпрэтаваны на пазнаючае чалавечае мысленне. Гл. таксама Інтуіцыянізм.

В.М.Пешкаў.

т. 9, с. 89

ЛО́ГІКА КЛА́САЎ,

раздзел логікі, у якім разглядаюцца класы (мноствы) прадметаў, што задаюцца характарыстычнымі ўласцівасцямі гэтых прадметаў (элементаў класаў). Л.к. выступае як прыватны выпадак логікі прэдыкатаў, што аперыруе з аб’ёмамі (класамі) паняццяў, змест якіх выражаецца адпаведнымі аднамеснымі прэдыкатамі. Л.к. адпавядае таксама сілагістыцы Арыстоцеля. Часам яна разглядаецца як фармалізаваная тэорыя мностваў, у іншых выпадках — як расшырэнне логікі выказванняў. Калі ў логіцы выказванняў абстрагуюцца ад сувязей паміж суб’ектам і прэдыкатам выказвання, то ў Л.к. гэтыя сувязі ўлічваюцца. У лік класаў у Л.к. уключаецца і пусты клас (0), які ўтрымлівае нулявое мноства элементаў, і ўніверсальны клас (1), які ўключае ўсе аб’екты. З класамі (мноствам) можна рабіць аперацыі: перасячэння (знаходжанне агульных для іх элементаў), аб’яднання (складання) і дапаўнення да ўзроўню універсальнага класа. Да алфавіта логікі выказванняў у Л.к. дадаюцца: пераменныя a, b, c, ... для класаў; знакі, якія абазначаюць аперацыі з класамі; пастаянныя тэрмы 0 і 1; знакі для абазначэння адносін паміж класамі. Уводзяцца адносіны ўключэння класа ў клас (a⊂b) — a уключаецца ў клас b; адносіны роўнасці двух класаў (a=b); абедзве гэтыя формы адносін могуць быць вызначаны праз адносіны прыналежнасці элемента класу (a∈b).

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

т. 9, с. 334

ДВАЙНО́ГА АДМАЎЛЕ́ННЯ ЗАКО́Н,

закон логікі, паводле якога адмаўленне адмаўлення (г.зн. паўторанае двойчы адмаўленне) дае сцвярджэнне. Напр.: «Калі няправільна, што сусвет не з’яўляецца бясконцым, то ён бясконцы». Гэты закон вядомы з часоў антычнасці. Стараж.-грэч. філосафы Зянон Элейскі і Горгій выкладалі яго так: калі з адмаўлення якога-н. выказвання выходзіць супярэчнасць, то мае месца двайное адмаўленне зыходнага выказвання, г.зн. яно само. Д.а.з. запісваецца ў вылічэнні выказванняў сучаснай матэм. логікі наступным чынам: a→A, што чытаецца так: «двайное адмаўленне a мае вынікам A′» (знак → — знак імплікацыі, які адпавядае злучніку «калі, то»). Другі закон логікі, які гаворыць аб магчымасці не здымаць, а ўводзіць 2 адмаўленні, называюць зваротным Д.а.з.; двайное сцвярджэнне мае вынікам сваё двайное адмаўленне. Напр.: «Калі Шэкспір пісаў санеты, то няпраўда, што ён не пісаў санеты». Аб’яднанне гэтых 2 законаў дае поўны Д.а.з.: двайное адмаўленне раўназначна сцвярджэнню. Напр.: «Планеты не нерухомыя толькі ў тым выпадку, калі яны рухаюцца».

т. 6, с. 74