| 析取式 disjunction 用析取真值联结词“∨”将两个或两个以上命题联结而成的一种命题形式。析取符号“∨”(来自拉丁文Vel)，意思是“或者”。构成析取式的支命题，称作析取项，一般用小写英文字母p、q、r来表示。析取式写作“p∨q”。读作“p析取q”，它表示在p和q两个支命题中，至少有一个支命题是真的。大致上相当于“p或q”这一相容选言判断。析取式的逻辑性质取决于“析取”这一真值逻辑联结词。析取真值联结词可用真值表来定义： 析取式和相容选言判断的真假都必定符合上述真值表，这是它们的共同点。但两者有区别。相容的选言判断假设了选言支之间在内容意义上的一定联系，而析取式则撇开了被联结的命题之间在内容上、意义上的联系以及使用“或者”这一连接词时在心理方面的和其他方面的附加意义，而仅考虑其支命题间在真假方面的联系，亦即使一个析取式的真假，仅仅决定于这个析取式所包含的命题的真假。这就是说，现代逻辑把下面四个句子中的前三个句子不仅看成是有意义的，而且看成是真的，第四个句子虽然应该把它看成是假的，但仍应认为是有意义的：(1) 2×2=4或者柏林是德国的首都。 (2) 2×2=4或者柏林不是德国的首都。 (3) 2×2=5或者柏林是德国的首都。 (4) 2×2=5或者柏林不是德国的首都。 因此，符合上述析取式真假情况的命题并不一定是一个有意义的选言判断。 |