1. Formal expression containing variables; becomes a sentence when variables are replaced by constants
   "In logic, 'x is greater than y' is a sentential function"

Derived forms: sentential functions

Type of: expression, formula

Encyclopedia: Sentential function