Sentential function
Sentential function
has been used by some as a syntactical term, to mean a sentence (q.v.) containing free variables. This notion should not be confused with that of a propositional function (q.v.), the relationship is that a propositional function may be obtained from a sentential function by abstraction (q. v.) — A.C.