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

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