中文:命题量词
英文翻译:【计】statement quantifier
中文:全称量词化变元英文翻译:【计】universally quantified variable...
中文:全称量词英文翻译:【计】universal quantifier...
中文:存在量词化变元英文翻译:【计】existentially quantified variable...
中文:存在量词英文翻译:【计】existential quantifierexisting quantifier...