Пропозициональная Форма

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