您能为我们杂志的名称添加什么？

56

标题中可以添加什么内容
我们的杂志？

（复制数学）

从该杂志创刊号的《量子史》一文中，读者了解了现代物理学的重要概念以及“量子”一词的由来。
有趣的是，另一个术语，这次是一个数学术语，起源于这种凝胶状的根。所以标题提出的问题的答案对于数学家来说并不困难。

图 1

“量词”一词属于现代数学最重要的分支之一——数理逻辑——并且与“量子”大约同时进入科学界，即本世纪初。

让我们尝试简要解释该术语的含义以及与其相关的名称。例如，考虑以下等式：

$$x^2 = 2^x.$$

(1)

我们将把所有可能的自然数赋给变量$x$作为值：1、2、3、4、5等。事实证明，对于某些自然值$x$等式（1）是正确的（true），而对于其他自然值则不正确（false）。因此，等式 $1^2 = 2^1$ 为假，等式 $4^2 = 2^4$ 为真。

结合我们最初的等式，考虑两个陈述是适当的：1）这些等式由这个和（任何）自然值$x$满足，2）有满足这个等式的自然值$x$。

命题1)用数理逻辑表示如下：

$$\forall x (x^2 = 2^x).$$

符号$\forall$对每个人来说都是可读的，被称为通用量词。而这个符号来自于英文单词All（意为一切），其中只留下了第一个字母（数学家很节约），然后也翻过来了（数学家，天平，有创造力）。

57

---

running_head:
folio:

对于声明 2)，接受以下符号：
$$\exists x (x^2 = 2^x).$$

符号 $\exists$ 由存在量词读取，称为存在量词。这个符号的起源是相似的：英语单词Exist（存在的意思）与单词All的处理方式相同。

Telery，用新的缩写符号，我们得到
$$\forall x (x^2 = 2^x) = JI \quad (\text{ложь}),$$
$$\exists x (x^2 = 2^x) = H \quad (\text{истина}).$$

让我们看另一个例子，其中初始集合将是所有成年人的集合 - 因此，在下面的陈述中，我们一起解决 $x$ “替代”任何成年人。在这种情况下，承认该声明并非没有尴尬 $\forall x (x - \text{честный человек})$ 错误，但这在一定程度上让人确信该声明的真实性 $\exists x (x - \text{честный человек}).$

这就是第一种情况所能说的。

量词一词的起源（拉丁语 quatim 的意思是“多少”（与传统逻辑语句根据“定量内容”进行分类的事实有关 - 根据它们涉及的对象数量。例如，“Petrov 是一个诚实的人”是单一缩小。\exists x, x - \text{честный человек}} — частное сужение. «\forall x, x - \text{一个诚实的人}} 是通用缩小。

F·列昂尼多夫