全称量化

维基百科,自由的百科全书

谓词逻辑中,全称命题是对论域内所有成员的性质或关系的论断结果的陈述。在符号逻辑中,全称量词∀是用来指示全称量化的符号。

与它相对的,表示至少一个事物为真的量词为存在量词

基础

要表达“2乘以所有自然数都等于该自然数和自己相加的和”,一种方式的是:

,且,且,且,以此类推。

因为使用了“且”一词,这看上去是逻辑合取。然而形式逻辑中的合取概念却不能表达出“以此类推”一词的含义。

因此将该命题改述为

对于任意自然数

这便是一个使用全称量化的单一命题。该命题比原命题更精确,因为“以此类推”一词想表示的是要包括所有的自然数、且除此之外不包括任何其它内容,但语言中并没有明确地陈述这点,这便是“以此类推”一词不能被形式地解释的根本原因。

这个新命题为,因为任何自然数都使命题成立。反之,命题“对任何自然数,都有则为假,因为当取1时,便不成立。尽管大多数自然数都满足,但存在至少一个反例足以举证全称命题为假。

然而,“对任何合数,都有”是真命题,因为所有的反例均不是合数。这说明了论域的重要性——确定变量的取值范围。 限制存在量化的论域要使用逻辑条件。例如“对任何合数,都有逻辑等价于“对任何自然数,如果为合数,则”。这里“如果……则”的句子构造出了逻辑条件。


在符号逻辑中,使用全称量词“∀”(倒置的无衬线体字母“A”)来表示全称量化。所以如果是谓词“”,而则是自然数集,那么有

表示的是假命题“对任何自然数,都有”。

类似地,若命题陈述的是“为合数”,那么有

表示的是真命题“对任何合数,都有”。

圆括号也有时用来表示全称量化。

性质

否定

注意到一个量化的命题函数的结果是一个命题;因此像命题一样,量化的函数也可被否定。数学家和逻辑学家用来表示否定的符号是:

举例来说,定义为命题函数“已婚”;则对所有活人组成的论域,考虑全称量化“对给定的任何活人,此人都已婚”:

显然,这个命题为假,于是我们可以切实地说:“并非都是这样的情况,即:对给定的任何活人,此人都已婚”,或以符号记作:

.

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

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

推理规则

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

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

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

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

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

参考资料

参见