·相容选言判断由相容选言联结词“或者”联结两个以上的选言支组成。日常语言中的“或”、“可能.可能.”、“也许也许”等关联词，也具有“或者的逻辑含义，都可以用作表示相容选言判断。·相容选言判断的逻辑结构式为：p或者q其中，联结词“或者”可用符号“”（读作“相容析取”）表示。所以，相容选言判断的结构式又可写作：pvq
• 相容选言判断由相容选言联结词“或者”联结两个以上的 选言支组成。日常语言中的“.或.” 、 “可能.可 能.” 、 “也许.也许.”等关联词，也具有“或者” 的逻辑含义，都可以用作表示相容选言判断。 • 相容选言判断的逻辑结构式为： p或者q 其中，联结词“或者”可用符号“∨”（读作“相容析取”） 表示。所以，相容选言判断的结构式又可写作： p ∨ q
（）相容选言判断的真值·相容选言判断断定事物若干可能情况中，至少有一种情况存在，并且可以同时存在。因此，当选言支中至少有一个取值为真（含选言支同时为真）时，相容选言判断就是真的；反之，当所有选言支都取值为假时，相容选言判断就是假的。·例如：“小赵是大学生，或者是运动员”这个相容选言判断，在两个选言支断定的李某“是大学生”和“是运动员”中至少有一种情况存在，或者说至少有一个选言支为真时，包括“是大学生，而不是运动员”、“不是大学生，而是运动员”和“既是大学生，又是运动员”等情况，该相容选言判断都是真的；只有在两个选言支均取值为假，即在小赵“既不是大学生，也不是运动员”的情况下，该相容选言判断为假
㈡ 相容选言判断的真值 • 相容选言判断断定事物若干可能情况中，至少有一种情况 存在，并且可以同时存在。因此，当选言支中至少有一个取 值为真（含选言支同时为真）时，相容选言判断就是真的； 反之，当所有选言支都取值为假时，相容选言判断就是假的。 • 例如：“小赵是大学生，或者是运动员”这个相容选言判 断，在两个选言支断定的李某“是大学生”和“是运动员” 中至少有一种情况存在，或者说至少有一个选言支为真时， 包括“是大学生，而不是运动员” 、 “不是大学生，而是运 动员”和“既是大学生，又是运动员”等情况，该相容选言 判断都是真的；只有在两个选言支均取值为假，即在小赵 “既不是大学生，也不是运动员”的情况下，该相容选言判 断为假
相容选言判断的真假情况，可用真值表表示如下：pVqpq111011011000由表中可知：选言支p和g有一个为真、或者同时为真，相容选言判断“p或者q”为真；选言支p和q均为假相容选言判断“p或者q”取值为假
相容选言判断的真假情况，可用真值表表示如下： 由表中可知：选言支p和q有一个为真、或者同时为 真，相容选言判断“p或者q”为真；选言支p和q均为假， 相容选言判断“p或者q”取值为假。 p q p ∨ q 1 1 1 1 0 1 0 1 1 0 0 0
自相容选言推理1：相容选言推理的定义和规则相容选言推理是以相容选言判断为前提，并依据相容选言判断的逻辑性质进行的推理。根据前述相容选言判断的逻辑性质，相容选言推理有以下规则：（1）由否定一个选言支，可推出肯定另一个选言支。（2）由肯定一个选言支，可推出肯定包含该选言支的整个选言判断。(3）由肯定一个选言支，不能推出否定另一个选言支
㈢ 相容选言推理 1．相容选言推理的定义和规则 相容选言推理是以相容选言判断为前提，并依据相容 选言判断的逻辑性质进行的推理。 根据前述相容选言判断的逻辑性质，相容选言推理有 以下规则： ⑴ 由否定一个选言支，可推出肯定另一个选言支。 ⑵ 由肯定一个选言支，可推出肯定包含该选言支的整 个选言判断。 ⑶ 由肯定一个选言支，不能推出否定另一个选言支
2．相容选言推理的有效式(1)否定肯定式·相容选言推理的否定肯定式是根据相容选言推理的规则(1)，即由前提否定一个选言支，推出结论肯定另一个选言支的选言推理。例①日光灯不亮，或因线路故障，或因日光灯损坏。经查，不是线路故障；所以，是因为日光灯损坏。·否定肯定式的一般逻辑形式为：p或者q;p或者q;或：非p：非q所以，q所以，p该形式可用符号公式表示为：或：（q）q→pq-q其中，推理的两个前提“（pvq）”和“p”，在逻辑上为合取关系，因此用符号“^”来联结（以下复合判断推理公式与此同）
2．相容选言推理的有效式 ⑴否定肯定式 • 相容选言推理的否定肯定式是根据相容选言推理的规则⑴，即由前提否定 一个选言支，推出结论肯定另一个选言支的选言推理。 例① 日光灯不亮，或因线路故障，或因日光灯损坏。 经查，不是线路故障； 所以，是因为日光灯损坏。 • 否定肯定式的一般逻辑形式为： p或者q； p或者q； 非p； 或： 非q； 所以，q 所以，p 该形式可用符号公式表示为： （ p ∨ q）∧ ┐p → q 或： （ p ∨ q）∧ ┐q → p 其中，推理的两个前提“（ p∨q ）”和“ ┐p”，在逻辑上为合取关系， 因此用符号“∧”来联结（以下复合判断推理公式与此同）