Математическая энциклопедия - пропозициональная форма

высказывательная форма,языковое выражение, содержащее переменные, вместо к-рых можно подставлять высказывания, получая при этом новые высказывания. В формализованных языках П. ф. наз. формулы, содержащие свободные вхождения пропозициональных переменных, принимающих значения в множестве истинностных значений.

П. ф. наз. также выражения, построенные по типу пропозициональной формулы, в к-рых вместо пропозициональных неременных используются символы метаязыка, обозначающие произвольные формулы высказываний исчисления.

Лит.:[1] Мендельсон Э., Введение в математическую логику, пер. с англ., М., 1971. В. Н. Гришин.

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

И. М. Виноградов

1977—1985