全称量词化变元

[计] universally quantified variable

quán chēng liàng cí huà biàn yuán ㄑㄩㄢˊ ㄔㄥ ㄌㄧㄤˋ ㄘˊ ㄏㄨㄚˋ ㄅㄧㄢˋ ㄩㄢˊ