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