词语全称量词化变元
解释universally quantified variable
universally quantified variable【数】全称量词化变元详细»
universally quantified variable〔名词〕全称量词化变元详细»
全称量词化变元universal quantified variable;universally quantified variable详细»