全称量化的英文

• universal quantification

• 全称:    full name
• 量化:    quantization
• 全称量词:    allquantor universal quantifier; general quantifier; universal quantification; universal quantifier in fopc
• 无界全称量词:    unbounded universal quantifier
• 有界全称量词:    bounded universal quantifier

百科释义

在谓词逻辑中，全称量化是尝试形式化某个事物(逻辑谓词)对于所有事物或所有有关的事物都为真的概念。结果的陈述是全称量化后的陈述，我们在谓词上有了全称量化。在符号逻辑中，全称量词(典型的 "?")是用来指示全称量化的符号。

其他语言

全称量化的日语：全称記号
全称量化的韩语：보편 양화사
全称量化的俄语：Квантор всеобщности
全称量化的印尼文：kuantifikasi semesta;