sentential function命題函式英文釋義formal expression containing variables; becomes a sentence when variables are replaced by constants