"sentential function"的定义和意义

formal expression containing variables; becomes a sentence when variables are replaced by constants