Большой англо-русский и русско-английский словарь
мат. propositional form, statement form
Математическая энциклопедия
высказывательная форма,- языковое выражение, содержащее переменные, вместо к-рых можно подставлять высказывания, получая при этом новые высказывания. В формализованных языках П. ф. наз. формулы, содержащие свободные вхождения пропозициональных переменных, принимающих значения в множестве истинностных значений.
П. ф. наз. также выражения, построенные по типу пропозициональной формулы, в к-рых вместо пропозициональных неременных используются символы метаязыка, обозначающие произвольные формулы высказываний исчисления.
Лит.:[1] Мендельсон Э., Введение в математическую логику, пер. с англ., М., 1971. В. Н. Гришин.