(n)sentential functionformal expression containing variables; becomes a sentence when variables are replaced by constants