ВЫСКАЗЫВАТЕЛЬНАЯ ФОРМА

ВЫСКАЗЫВАТЕЛЬНАЯ ФОРМА — повествовательное предложение, содержащее одну или несколько переменных. В. ф. не является высказыванием, а лишь по форме напоминает нам высказывание. В. ф. обращается в высказывание, если вместо переменных подставить их значение. Например, уравнение  есть В. ф., и оно обратится в высказывание, если вместо переменной  подставить какое-либо число.

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

См. также: Высказывание, Квантор.