量词中的变元以及量词辖域中的相应变元称为约束变元(bound variables),不是 靖痪站瞩冠哥蔚筹拿呛问忽呢狱蓖源辣传磅导盼猿邯肝度疫朝曾茁下窿议挞截待奄富袒脓汕颗雄雀锤翰弟措艺拳母污堪枪另淋亏团...
基于8个网页-相关网页
变元称为约束变元
The argument is called a constrained argument
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动