Find the word definition

WordNet
sentential function

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