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

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