全称量化

在谓词逻辑中，全称量化是尝试形式化某个事物(逻辑谓词)对于所有事物或所有有关的事物都为真的概念。结果的陈述是全称量化后的陈述，我们在谓词上有了全称量化。在符号逻辑中，全称量词(典型的 "∀")是用来指示全称量化的符号。量化的一般论述在量化条目中，本文特定讨论全称量化。
访问 Wikipedia.org... 网页