存在量化变数

【存在量化变数】基础信息( 英文,繁体)

英文 existentially quantified variable
繁体 存在量化變數

【存在量化变数】是什么意思

于存在量的演算中,随存在量操作符号〝?〞后所出现的参数,若其再出现于另一存在量作用域中,则称该参数为存在量化变数。例如(?x)M(x,y)式中的x即为存在量化变数。

【存在量化变数】相关的组词

【存】组词

【在】组词

【量】组词

【化】组词

【变】组词

【数】组词

热门词语