Verbum

ПРЭДЫКА́Т (ад лац. praedicatum сказанае),

тое, што ўласцівасць; у вузкім сэнсе — уласцівасць асобнага прадмета, у шырокім — адносіны, г.зн. уласцівасць некалькіх прадметаў. У арыстоцелеўскай і традыц. логіцы разумеўся толькі як адзін з двух тэрмінаў суджэння — той, у якім нешта гаворыцца аб суб’екце. Больш агульная трактоўка П. звязана з разглядам прэдыкацыі як прыватнага выпадку функцыянальнай залежнасці. У сучаснай логіцы П. — лагічная (або прапазіцыянальная) функцыя — выраз з нявызначанымі тэрмінамі (пераменнымі), які пры выбары канкрэтных значэнняў для гэтых тэрмінаў пераўтвараецца ў асэнсаванае (ісціннае або памылковае) выказванне. У лагічнай структуры суджэння традыц. паняцці П. і суб’екта замяняюцца адпаведна на дакладныя матэм. паняцці функцыі і яе аргумента.

У адпаведнасці з гэтым П. вызначаюцца на мноствах (абласцях прадметаў); элементы якіх служаць аргументамі, або значэннямі адпаведных пераменных. Пры функцыянальнай форме запісу П. ад η пераменных выражаюць формулай P(x₁, ... x_n), дзе η ≥ 0. Пры η = 0 П. супадае з выказваннем, пры η = 1 П. з’яўляецца ўласцівасцю ў вузкім сэнсе (аднамесны П.), пры η = 2 — уласцівасцю «пары» (двухмесны П.), пры η = 3 — уласцівасцю «тройкі» (трохмесны П.) і г.д. Гл. таксама Логіка прэдыкатаў, Функцыя.

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

т. 13, с. 90