scala - 一阶逻辑的通用量词和存在量词

Question

我正在上Scala编程类(class)。讲师曾说过:

Functions blah and bladdy are the universal and existential quantifiers of first-order logic.

有人可以将“一阶逻辑的通用量词和存在量词”翻译成英文吗？

Answer 1

那句话充满了行话。您可以找到universal和existential逻辑量词here的描述。

Universal Quantifier是适用于集合中所有元素的逻辑语句。

Existential Quantifier是适用于集合中至少一个元素的逻辑语句。

您也可以在here中查找first-order逻辑的快速描述。该术语旨在将first-order与higher-order逻辑分开:

First-order逻辑语句是常用的；他们作用于一组成员。

Higher-order逻辑语句作用于其他逻辑语句；认为它们是元逻辑的。