Большой энциклопедический словарь
ПРОПОЗИЦИОНАЛЬНАЯ ФУНКЦИЯ - см. Предикат.
Большой англо-русский и русско-английский словарь
мат. propositional function
Философская энциклопедия
- ПРОПОЗИЦИОНАЛЬНАЯ ФУНКЦИЯ
-
см. в ст. Предикат.
Энциклопедический словарь
пропозициона́льная фу́нкция
см. Предикат.
* * *
ПРОПОЗИЦИОНАЛЬНАЯ ФУНКЦИЯПРОПОЗИЦИОНА́ЛЬНАЯ ФУ́НКЦИЯ, см. Предикат(см. ПРЕДИКАТ (в логике)).
Математическая энциклопедия
функция, аргументами и значениями к-рой являются истинностные значения. Этот термин употребляют, когда речь идет об интерпретации формализованного логич. языка.
Если W - множество истинностных значений формул данного языка, то П. ф.- это любое отображение вида 
. Этими функциями интерпретируются пропозициональные связки, позволяющие образовывать из предложений.или формул новые предложения или формулы. При классической двузначной интерпретации множества истинностных значений, т. е. когда W={0,1}, такие функции наз. также функциями алгебры логики. В. Н. Гришин.
Русско-украинский политехнический словарь
пропозиці́йна фу́нкція
Русско-украинский политехнический словарь
пропозиці́йна фу́нкція