Verbum

МАГІЛЁЎСКІ АБЛАСНЫ́ МАСТА́ЦКІ МУЗЕ́Й імя П.​В.​Масленікава.

Адкрыты 19.11.1990 у Магілёве, з 1996 імя П.Масленікава. Размешчаны ў Магілёўскага пазямельна-сялянскага банка будынку. Плошча экспазіцыі 700 м². У музеі больш за 2 тыс. экспанатаў, пераважна твораў бел. мастакоў 20 ст., у т. л. работы З.​Азгура, А.​Анікейчыка, Л.​Асецкага, А.​Бембеля, В.​Бялыніцкага-Бірулі, Г.​Вашчанкі, В.​Грамыкі, У.​Кожуха, У.​Кудрэвіча, А.​Малішэўскага, Л.​Марчанкі, А.​Маціевіча, М.​Савіцкага, Р.​Таболіча, В.​Юрковай. У 1997 у музеі адкрыта карцінная галерэя Масленікава, створаная на аснове падараванай музею яго персанальнай выстаўкі (128 твораў). Экспануюцца: творы, звязаныя з пачаткам творчай дзейнасці мастака ў Дзярж. т-ры оперы і балета Беларусі (эскізы дэкарацый і касцюмаў да тэатр. пастановак 1938—41 і 1946—60); пейзажы, прысвечаныя родным мясцінам Беларусі, і пейзажы, звязаныя з паездкамі ў Крым, Алтай, Карпаты, Прыбалтыку; уласныя рэчы, мэбля, эцюды, карціны, апошні няскончаны твор Масленікава «Нябёсы». У музеі праводзяцца маст. выстаўкі, міжнар. пленэры жывапісу.

С.​В.​Строгіна.

т. 9, с. 462

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

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

Літ.:

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

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

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

т. 9, с. 335