← 返回单词列表

all-operator

noun 编号: A01127

逻辑学中的“全称算子”，指表示“对所有对象都成立”的全称量词。

💡 记忆钩子

把它想成一盏照向整个集合的灯：灯光不是只照一个对象，而是把每一个对象都纳入判断；因此 all-operator 就从“全部覆盖”发展为逻辑中的全称量词。

📝 学习建议

先把它和更常见的 universal quantifier 一起记：all-operator 多半是同义说法，不必把它理解成日常语言中的普通“运算符”。
看到逻辑公式时，可先联想到“对每一个……都……”；不要把它和只要求存在一个对象的存在量词混淆。

📖 中文释义

noun

core 全称算子；全称量词

📖 指把判断范围覆盖到一个集合中每个对象的逻辑算子，也就是“对所有……都成立”的全称量词。它强调的是整体覆盖，而不是只找到一个符合条件的对象。

💡 常见句型是“the all-operator means …”或“the all-operator binds a variable”。该词主要用于解释形式逻辑公式，正式度高，通常不能用来泛指日常计算中的任意运算符。学习时可把它直接同 universal quantifier 配对记忆，避免误以为它是普通的“全部运算”。

In this formula, the all-operator means “for every x.”

在这个公式中，全称算子表示“对每一个 x 都成立”。

all-operators plural

🔄 变式

all-operators plural

🏷 单词标签 & 词根