ЛО́ГІКА ПРЭДЫКА́ТАЎ, функцыянальная логіка,

раздзел логікі, у якім вывучаюцца лагічныя сувязі паміж выказваннямі з улікам іх унутранай (суб’ектна-прэдыкатнай) структуры; пашыраны варыянт логікі выказванняў. Прадметам даследавання з’яўляецца любая галіна аб’ектаў з дадзенымі на гэтых аб’ектах прэдыкатамі, г. зн. уласцівасцямі і адносінамі. У выніку фармалізацыі Л.п. прымае выгляд розных злічэнняў (напр., злічэнне выказванняў). Пры аналізе ўплыву на лагічны вывад унутр. структуры выказванняў прэдыкаты разглядаюцца як функцыі, значэннямі якіх служаць выказванні. У дапаўненне да сімвалічных сродкаў логікі выказванняў у мову Л.п. уведзены лагічныя знакі — аператары ∀ («для ўсіх») і ∃ («для некаторых», існуе... такое, што...»), якія адпаведна наз. квантарамі агульнасці і існавання. Для выяўлення структуры выказванняў уводзіцца бясконцы пералік індывідных пераменных x, y, z ... x​1, y​1, z​1, .... якія ўяўляюць сабой розныя аб’екты, і бясконцы пералік прэдыкатных пераменных P, Q, R, ..., P​1, Q​1, R​1 ..., якія ўяўляюць сабой уласцівасці і адносіны аб’ектаў. Запіс (∀x)P(x) азначае «Усякі x валодае ўласцівасцю P»; (∃x)P(x) — «некаторыя x валодаюць уласцівасцю P» і (∃xQ(xy) — «існуе x, які знаходзіцца ў адносінах Q з y» і да т.п. Квантары могуць звязваць у формулах індывідныя (звязаныя) пераменныя. Індывідныя пераменныя, не звязаныя ў формуле квантарамі, наз. свабоднымі. Так, ва ўсіх трох прыведзеных формулах пераменная х звязаная, у апошняй формуле пераменная у свабодная. Звязаныя пераменныя наз. фіктыўнымі. Формулы, якія прымаюць значэнне «ісціна» ў кожнай інтэрпрэтацыі, наз. агульназначнымі. Існуюць таксама некласічныя Л.п., якія прапануюць іншыя тлумачэнні лагічных звязак і квантара.

Літ.:

Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. М., 1982;

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

С.​Ф.​Дубянецкі.

т. 9, с. 335

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

аге́нда

(англ. agenda = парадак дня)

пералік пытанняў, якія належыць абмеркаваць на нарадзе, дзелавой сустрэчы.

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

этагра́ма

(ад гр. ethos = звычай + -грама)

больш або менш поўны пералік «мовы», поз, жэстаў і мімікі, уласцівы таму або іншаму віду жывёл.

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

канва́, ‑ы, ж.

1. Рэдкая сятчатая тканіна, баваўняная або льняная, якая служыць асновай пры вышыванні крыжам. Вучыла бабка Ягася.. [Алаізу] і рукадзеллю: вышываць крыжыкамі па канве. Арабей.

2. перан. Аснова чаго‑н. Сюжэтная канва рамана. □ Цягнецца канва жыцця бесперапынна, і ўсё новыя ўзоры з’яўляюцца на ёй. Пестрак.

•••

Храналагічная канвапералік падзей, размешчаных у парадку храналагічнай паслядоўнасці.

[Фр. canevas.]

Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)

маніфе́ст, ‑а, М ‑сце, м.

1. Урачыстая адозва вярхоўнай улады да народа з выпадку якіх‑н. надзвычайна важных падзей. Маніфест часовага рабоча-сялянскага ўрада Беларусі аб утварэнні БССР абнародаваны 1 студзеня 1919 г.

2. Палітычная адозва праграмнага характару. Маніфест Камуністычнай партыі.

3. Пералік прынцыпаў якой‑н. літаратурнай або мастацкай групы ці напрамку. Маніфест футурыстаў.

[Ад лац. manifēstus — яўны.]

Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)

narration

[nærˈeɪʃən]

n.

1) раска́з, апо́вед, ро́спавед -у m., раска́званьне n.

2) перака́з -у m.

3) апавяда́ньне n. (каро́ткі твор); справазда́ча f.; пералі́к падзе́яў

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

наменклату́ра

(лац. nomenclatura = пералік, спіс імён)

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

2) сукупнасць работнікаў, якія персанальна прызначаюцца вышэйшай інстанцыяй (напр. н. урада).

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

ufstellung f -, -en

1) устано́ўка, расстано́ўка

2) пабудо́ва, манта́ж

3) вайск. пастрае́нне, фармірава́нне

4) каштары́с; лік; спіс; пералі́к

Нямецка-беларускі слоўнік (М. Кур'янка, 2006, правапіс да 2008 г.) 

schedule1 [ˈʃedju:l, ˈskedʒu:l] n.

1. раскла́д; гра́фік, план, прагра́ма;

according to/on schedule па раскла́дзе;

ahead of schedule датэрміно́ва;

be behind the schedule адстава́ць ад пла́на

2. спіс, пералі́к; катало́г

3. AmE раскла́д ру́ху цягніко́ў

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

таблі́ца

(польск. tablica, ад лац. tabula)

пералік звестак, лічбавых дадзеных, прыведзеных у пэўную сістэму і размешчаных па графах (напр. т. множання, турнірная т.).

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