词语全称量词化变元
解释universal quantified variable;universally quantified variable
全称量词化变元universally quantified variable详细»