量词

运算之一 存在 (称为存在量词) 或 对于所有 (称为全称量词，或有时称为一般量词)。然而，也存在更奇异的逻辑分支，它们使用除这两种量词之外的其他量词。