基础

假设你要说的是

由于“以及”一词的重复使用，这似乎是一个逻辑合取。然而形式逻辑中的合取概念却不能表达出“等等”一词的含义。因此将该命题改述为

这便是一个使用全称量化的单一命题。

请注意，事实上该命题比原命题更精确。很明显，“等等”一词表示的是要包括所有的自然数、且除此之外不包括任何其它内容，但语言中并没有明确地陈述这点，这便是“等等”一词不能被形式地解释的根本原因。

这个特定的例子中的命题是真值的，因为可以对n取任何自然数都使命题“2·n = n + n”成立。反之，命题“对任何自然数n，都有2·n > 2 + n”则是假值的，因为举例来说，将其中的n用1来取代，就能得到假命题“2·1 > 2 + 1”。尽管对“大多数”自然数n来说，命题“2·n > 2 + n”都成反例但只要存在一个反例便足以举证该全称命题为假。

另一方面，“对任何合数n，都有2·n > 2 + n”是真命题，因为所有的反例均不是合数。这说明了论域的重要性，其指定了n可以取哪些值。更多关于与量化命题一起使用信息的信息可以在《量化》一文中找到。然而特别地须注意，如欲将论域限定为仅由满足一特定谓词的对象组成时，则对全称量化来说，要使用一个逻辑条件来实现。例如，命题“对任何合数n，都有“2·n > 2 + n”是逻辑等价于命题“对任何自然数n，如果n为合数，则2·n > 2 + n”的。这里的“如果……则”结构指出了逻辑的条件限制。

在符号逻辑中，我们使用全称量词“∀”（一个倒置的无衬线体字母“A”）来说明全称量化。从而，若命题P(n)陈述的是“2·n > 2 + n”，且N是自然数集的话，则

表示的即是（假）命题

类似地，若命题Q(n)陈述的是“n为合数”，则

表示的是（真）命题

可在《量化》一文中找到（适用于所有形式的）量化符号表示的多种变化形式。这里给出一种仅用于表示全称量化的特殊符号表示：

默认情况下，圆括号表示的是全称量化。

性质

否定

注意到一个量化的命题函数的结果是一个命题；因此象命题一样，量化的函数也可被否定。数学家和逻辑学家用来表示否定的符号是：¬ ¬ --> {\displaystyle \lnot \ }。

举例来说，定义P(x)为命题函数“x已婚”；则对所有活人组成的论域X，考虑全称量化“对给定的任何活人x，此人都已婚”：

∀ ∀ -->x∈ ∈ -->XP(x){\displaystyle \forall {x}{\in }\mathbf {X} \,P(x)}

只用几秒钟的考虑就能证明这个命题无可改变地为假；于是我们可以切实地说：“并非都是这样的情况，即：对给定的任何活人x，此人都已婚”，或以符号记作：

¬ ¬ --> ∀ ∀ -->x∈ ∈ -->XP(x){\displaystyle \lnot \ \forall {x}{\in }\mathbf {X} \,P(x)}.

花点时间来考虑，准确地说，对全称量词进行否定就意味：如果并非对论域中的每一个元素来说命题均为真的话，则必存在至少一个元素使命题为假。这就是说，对命题函数P(x)的否定是逻辑等价于“存在着某个没有结婚的x活人”的，或记作：

∃ ∃ -->x∈ ∈ -->X¬ ¬ --> P(x){\displaystyle \exists {x}{\in }\mathbf {X} \,\lnot \ P(x)}

一般地，则有，对一个命题函数的全称量化的否定是该命题函数的否定的一个存在量化；可用符号表示为：

¬ ¬ --> ¬ ¬ --> ∀ ∀ -->x∈ ∈ -->XP(x)≡ ≡ --> ¬ ¬ --> (∃ ∃ -->x∈ ∈ -->X¬ ¬ --> P(x)){\displaystyle \lnot \ \lnot \ \forall {x}{\in }\mathbf {X} \,P(x)\equiv \ \lnot \ (\exists {x}{\in }\mathbf {X} \,\lnot \ P(x))}

推理规则

推理规则是指由假设到结论的过程中证明一个逻辑步骤成立的规则。有若干推理规则利用了全称量词。

普遍例证（Universal instantiation）推定出的结论是这样的：若已知命题函数普遍成立，则其必对论域中任何随意给出的元素均成立。将此符号化地表示为

∀ ∀ -->x∈ ∈ -->XP(x)→ → --> P(c){\displaystyle \forall {x}{\in }\mathbf {X} \,P(x)\to \ P(c)}

其中c是论域中可完全随意确定的某个元素。

普遍概括（Universal generalization）推定出的结论是这样的：若命题函数对论域中任何随意给出的元素均成立，则其普遍成立。以符号表示为：对某个可随意确定的c，

P(c)→ → --> ∀ ∀ -->x∈ ∈ -->XP(x){\displaystyle P(c)\to \ \forall {x}{\in }\mathbf {X} \,P(x)}

特别重要的是必须注意到，c必须是完全随意确定的；否则便不能遵循该逻辑：若c不是随意确定的、而是论域中的一个特定元素，则P(c)仅说明蕴意着该命题函数的某个存在量化可成立。

参考资料

Hinman, P. Fundamentals of Mathematical Logic. A K Peters. 2005. ISBN 978-1-56881-262-5. 

Franklin, J. and Daoud, A. Proof in Mathematics: An Introduction. Quakers Hill Press. 1996. ISBN 978-1-876192-00-6. （ch. 2）

参见

量化

免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。