实质条件

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

跳转到：导航, 搜索

在命题演算，或在数学的逻辑演算中，实质条件、實質蘊涵或蕴涵算子是一种二元的真值泛函的逻辑运算符，它有着如下形式

如果 a 那么 c，

这里的 a 和 c 是陈述变量(可以被语言中任何有意义的可表示的句子所替代)。在这种形式的陈述中，第一项，这里是 a，叫做前件；第二项，这里的 c，叫做后件。前件的真实是后件的真实的充分条件，而后件的真实是前件的真实的必要条件。

这个算子使用右箭头“→”(有时用马蹄铁符号 ⊃)来符号化，“如果 A 那么 B”被写为如下:

$A \to B$

[编辑] 真值表

涉及实质蕴涵的真值表定义如下:

p	q	p → q
F	F	T
F	T	T
T	F	F
T	T	T

[编辑] 形式性質

實質條件不要混淆於蘊涵關系 ⊨。但在多數邏輯包括經典邏輯中二者之間有密切關聯。例如下列原理成立:

如果 $\Gamma\models\psi$ 則 $\emptyset\models\phi_1\land\dots\land\phi_n\rightarrow\psi$ 對于某些 $\phi_1,\dots,\phi_n\in\Gamma$ 。(這是演繹定理的特定形式。)

上述的逆命題

$\rightarrow$ 和 ⊨ 而二者都是單調的；就是說如果 $\Gamma\models\psi$ 則 $\Delta\cup\Gamma\models\psi$ ，并且如果 $\phi\rightarrow\psi$ 則 $(\phi\land\alpha)\rightarrow\psi$ 對於任何 α, Δ。(用結構規則的術語說，這叫做弱化。)

但是這些原理不在所有邏輯中成立。它們顯著的不成立於非單調邏輯中，也不成立於相干邏輯中。

實質蘊涵的其他性質:

左分配律: $s \rightarrow (p \rightarrow q) \rightarrow ((s \rightarrow p) \rightarrow (s \rightarrow q))$

傳遞律: ( $a \rightarrow b) \rightarrow ((b \rightarrow c) \rightarrow (a \rightarrow c))$

交換律: ( $a \rightarrow (b \rightarrow c)) \equiv (b \rightarrow (a \rightarrow c))$

冪等律: $a \rightarrow a$

真理保持 : 在其下所有變量被指派為真值‘真’的釋義生成真值‘真’作為實質蘊涵的結果。

[编辑] 對自然語言的符号表示

在介绍逻辑的课本中经常包括的常见的练习是符号表示。这些练习给学生自然语言的一个句子或一段文本，学生必须把它们转换成符号语言。这是通过识别普通语言的等价的逻辑术语而完成的，这通常包括实质条件、析取、合取、否定和(经常的)双条件。更高级的逻辑书籍和介绍性读物的后续章节经常增加等号、存在量词和全称量词。

用来识别实质条件的、在普通语言中的一些短语包括，“如果/当”、“仅当”、“假定”、“假如”、“假设”、“蕴涵”、“即使”和“万一”。很多这些短语指示前件，另一些指示后件。正确识别“蕴涵方向”是重要的。比如，“A 仅当 B”被如下陈述捕获

A → B

而“A 当 B”被如下陈述正确捕获

B → A

在做符号表示的练习的时候，经常要求学生给出哪个句子被替代为哪个陈述字母的缩写方案。比如，对练习 “Kermit 是青蛙仅当木偶是动物”的解答:

A → B， A - Kermit 是青蛙， B - 木偶是动物。

[编辑] 同其他条件陈述的比较

使用这个算子是逻辑学家规定的，作为结果，它产生了一些不想要的真理。比如，前件为假的任何实质条件陈述都是真的。所以陈述“2 是奇数蕴涵 2 是偶数”是真的。类似的，后件为真的任何实质条件都是真的。所以陈述“如果猪接管了农场并谋杀了农民，则巴黎是在法国”是真的。

这些不想要的真理的出现是因为英语(和其他自然语言)的使用者被诱惑于把实质条件混淆于直陈条件，或其他条件陈述如反事实条件。通过不把条件陈述读做“如果”和“则/那么”可以减轻这种诱惑。最常见的方式是把 A → B 读做“要么不是情况 A 要么是情况 B(或二者)”，或更简单的“要么 A 为假要么 B 为真(或二者)”。(这种等价陈述被捕获于使用否定和析取的逻辑符号 $\neg A \vee B$ 。)

[编辑] 引用

Brown, Frank Markham (2003), Boolean Reasoning: The Logic of Boolean Equations, 1st edition, Kluwer Academic Publishers, Norwell, MA. 2nd edition, Dover Publications, Mineola, NY, 2003.

Edgington, Dorothy (2001), "Conditionals", in Lou Goble (ed.), The Blackwell Guide to Philosophical Logic, Blackwell.

Edgington, Dorothy (2006), "Conditionals", in Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy, Eprint.

Quine, W.V. (1982), Methods of Logic, (1st ed. 1950), (2nd ed. 1959), (3rd ed. 1972), 4th edition, Harvard University Press, Cambridge, MA.

Stalnaker, Robert. 'Indicative Conditionals'. Philosophia 5 (1975): 269–286.

[编辑] 外部链接

陳力恒：〈如言、選言發微〉
陳力恒：〈關聯詞之邏輯關聯〉