出处：哲学卷 • 逻 辑 学 • 传统逻辑
析取式
析取式 用析取真值联结词“∨”将两个或两个以上命题联结而成的一种命题形式。析取符号“∨”(来自拉丁文Vel),意思是“或者”。构成析取式的肢命题,称作析取项,一般用小写英文字母p、q、r来表示。析取式写作“p∨q”。读作“p析取q”,它表示在p和q两个肢命题中,至少有一个肢命题是真的。大致上相当于“p或q”这一相容选言命题。析取式的逻辑性质取决于“析取”这一真值逻辑联结词。析取真值联结词可用真值表来定义: 析取式和相容选言命题的真假都必定符合上述真值表,这是它们的共同点。但两者有区别。相容的选言命题假设了选言肢之间在内容意义上的一定联系,而析取式则撇开了被联结的命题之间在内容上、意义上的联系以及使用“或者”这一连接词时在心理方面的和其他方面的附加意义,而仅考虑其肢命题间在真假方面的联系,亦即一个析取式的真假,仅仅取决于这个析取式所包含的命题的真假。