sentential function

• 命题函数

英英释义

Noun:

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