Определение слова «Пропозициональная Функция»

Большой энциклопедический словарь:

ПРОПОЗИЦИОНАЛЬНАЯ ФУНКЦИЯ — см. Предикат.

Математическая энциклопедия:

Функция, аргументами и значениями к-рой являются истинностные значения. Этот термин употребляют, когда речь идет об интерпретации формализованного логич. языка. Если W — множество истинностных значений формул данного языка, то П. ф.- это любое отображение вида . Этими функциями интерпретируются пропозициональные связки, позволяющие образовывать из предложений .или формул новые предложения или формулы. При классической двузначной интерпретации множества истинностных значений, т. е. когда , такие функции наз. также функциями алгебры логики. В. Н. Гришин.

Смотреть другие определения →