Formal expression containing variables, becomes a sentence when variables are replaced by constants English: sentential function