2. 分解式联言推理的分解式是根据联言推理规则2，即由前提肯定联言判断，推出结论肯定其中任一联言支的联言推理。例②计算机不仅要有硬件，而且要有软件支持；所以，计算机要有软件支持。组合式的一般逻辑形式为：p并且q所以，p（或：所以，q)该形式可用符号公式表示为：(p^q)→p或者：（p^q)→q（该公式表达的逻辑原理，可简称为“^_”）
2．分解式 联言推理的分解式是根据联言推理规则2，即由前提 肯定联言判断，推出结论肯定其中任一联言支的联言推理。 例② 计算机不仅要有硬件，而且要有软件支持； 所以，计算机要有软件支持。 组合式的一般逻辑形式为： p并且q 所以，p （或：所以，q） 该形式可用符号公式表示为： （ p ∧ q） → p 或者：（ p ∧ q） → q （该公式表达的逻辑原理，可简称为“∧－”）
3．否定否定式联言推理的否定否定式是根据联言推理规则3，即由前提否定一个联言支，结论可推出否定包含该联言支的整个联言判断。例③并非小王是运动员，所以，并非小王和小李都是运动员。否定否定式的一般逻辑形式为：并非p所以，并非（p并且q）该形式可用符号公式表示为：→(pq)或者：q→(pq)（其中，符号“”是逻辑否定符号，读作“并非”，它对紧随其后的命题变项或命题形式构成否定。）
3．否定否定式 联言推理的否定否定式是根据联言推理规则3，即由 前提否定一个联言支，结论可推出否定包含该联言支的整 个联言判断。 例③ 并非小王是运动员， 所以，并非小王和小李都是运动员。 否定否定式的一般逻辑形式为： 并非p 所以，并非（p并且q） 该形式可用符号公式表示为： ┐p → ┐（p ∧ q） 或者： ┐q → ┐（p ∧ q） （其中，符号“ ┐ ”是逻辑否定符号，读作“并非”，它 对紧随其后的命题变项或命题形式构成否定。）
第二节 选言判断及其推理一、选言判断及其种类(一）什么是选言判断选言判断是断定事物若干种可能情况中至少有一种情况存在，或者只有一种情况存在的复合判断。例①一部作品优秀，或者是思想内容深刻，或者是艺术形式精湛。例②所谓飞碟，要么是地球人施放的飞行器，要么是外星人的飞船，要么是大气的自然现象
第二节 选言判断及其推理 一、 选言判断及其种类 ㈠ 什么是选言判断 选言判断是断定事物若干种可能情况中至少有一种情 况存在，或者只有一种情况存在的复合判断。 例① 一部作品优秀，或者是思想内容深刻，或者是艺 术形式精湛。 例② 所谓飞碟，要么是地球人施放的飞行器，要么是 外星人的飞船，要么是大气的自然现象
·选言判断由选言支和选言联结词组成。选言支，是选言判断中包含的支判断，一个选言判断至少要由两个或两个以上的选言支组成。选言联结词，是表示对选言支反映的若干种事物情况选择性断定的逻辑标志，通常用“或者”、“要么”来表示。二选言判断的种类·根据选言判断使用的联结词的不同，或者根据选言支断定的事物情况是否可以同时存在，选言判断可分为相容选言判断和不相容选言判断两种类型。·在选言判断中，选言联结词是逻辑常项，不同的选言联结词可做为区分相容选言判断和不相容选言判断的逻辑标志。通常，联结词“或者”一般用于表示相容选言判断：联结词“要么”一般用于表示不相容选言判断
• 选言判断由选言支和选言联结词组成。 选言支，是选言判断中包含的支判断，一个选言判断至 少要由两个或两个以上的选言支组成。 选言联结词，是表示对选言支反映的若干种事物情况选 择性断定的逻辑标志，通常用“或者”、“要么”来表示。 ㈡ 选言判断的种类 • 根据选言判断使用的联结词的不同，或者根据选言支断定 的事物情况是否可以同时存在，选言判断可分为相容选言判 断和不相容选言判断两种类型。 • 在选言判断中，选言联结词是逻辑常项，不同的选言联结 词可做为区分相容选言判断和不相容选言判断的逻辑标志。 通常，联结词“或者”一般用于表示相容选言判断；联结词 “要么”一般用于表示不相容选言判断
二、相容选言判断及其推理一）相容选言判断及其结构相容选言判断是断定事物若于可能情况中至少有一种情况存在，并且可以同时存在的选言判断。所谓“相容”主要指选言支断定的事物情况可以同时并存，或者说选言支可以同时为真。如：例①液体沸腾的原因，或者是因为温度升高，或者是因为压力减小例②降低生产成本的方法或者是节省开支，或者是提高效率
二、相容选言判断及其推理 ㈠ 相容选言判断及其结构 相容选言判断是断定事物若干可能情况中至少有一种 情况存在，并且可以同时存在的选言判断。所谓“相容” 主要指选言支断定的事物情况可以同时并存，或者说选言 支可以同时为真。如： 例① 液体沸腾的原因，或者是因为温度升高，或者是 因为压力减小。 例② 降低生产成本的方法或者是节省开支，或者是提 高效率