自由出现

【自由出现】基础信息( 英文,拼音)

词语
英文 free occurrence
拼音 zì yóu chū xiàn
繁体 自由出現

【自由出现】是什么意思

在述词演算中,若变数的出现不是约束出现,就称为自由出现。

例如,在A(x)=M(x,y)vP(x,z)中,y和z的出现是自由出现,而P(x,z)中的X也是自由出现。

【自由出现】相关的组词

【自】组词

【由】组词

【出】组词

【现】组词

热门词语