F T T F F F
一个具体的选言命题究竟是相容的还是不相容的，我们只能从其命题的内容上区分。由于实际情况是一个人可以既患上呼吸道感染又患肺部感染，所以命题“他发烧到39度是由于上呼吸道感染，或者是由于肺部感染”是相容的选区言命题。而一个三角形式不可能既是钝角的又是锐角的，命题“这个三角形是钝角的，或者是锐角的”就是一个不相容的选言命题。
因此，如果一个具体命题的联结词是“或者”，或者是“要么”，而我们又完全不了解命题所描述的情况，那么就只能根据联结词而称该命题是选言命题。至于这个命题是相容的还是不相容的，我们就无法判定了，毕竟对命题内容的分析是在逻辑视野之外的。
仅仅根据联结词我们不能判定一个选言命题是相容的还是不相容的，但如果我们已经知道事实上两个支命题不能同真，就可以通过一些特殊的语词表达出选言支的不相容性。例如：
“这次选举必须选取一个并且只能选取一个人，或者张珊当选，或者李司当选。” 显然这是一个不相容的选言命题。
这意味着不相容选言联结词的逻辑特征可以用相容选言联结词和联言联结词来定义。我们可以将“p ∨ q”定义为“（p∨q）∧?（p∧q）。从下表可见，这两种形式的命题是逻辑等值的：”
p q ?（p∧q） p ∨ q p ∨ q （p∨q）∧ ?（p∧q） T T F T F F T F T T T T F T T T T T F F T F F F
既然不相容的选言命题可能用相容选言命题组合联言命题来定义，因此，只选取相容选
21
言命题作为基本的命题形式。 选言推理
选言推理即以选言命题为前提、并且根据选言命题的逻辑特性进行的推理。选言推理也有两种形式。
⑴ 相容选言推理的有效式为“否定肯定式”： p∨q， 非q(或非p)； 所以 p(或q)。 亦可横写为: (p∨q) ∧ ﹁ p→q或(p∨q) ∧﹁ q →p
另一常用的推理式为“肯定肯定式”: p 所以p或者q 相容选言推理的“肯定否定式”是无效的。 由此得到相容选言推理的两条规则∶
(1)否定一部分选言肢，就要肯定另一部分选言肢； (2)肯定一部分选言肢，不能否定另一部分选言肢。 不相容选言推理有两种有效式:
A.否定肯定式:要么p要么q 亦可横写为: 非p（非q） (p∨·q)∧﹁p→q q(p) 或(p∨·q)﹁q→p B.肯定否定式∶要么p要么q 亦可横写为: p(q ) (p∨·q)∧p→﹁q
22
非q（非p） 或(p∨·q)∧q→﹁p 由此得到不相容选言推理的两条规则: (1)肯定一个选言肢，就要否定其余的选言肢；
(2)否定一个选言肢以外的选言肢，就要肯定未被否定的那个选言肢。
应用“否定肯定式” (不论相容，还是不相容)进行推理应注意选言肢穷尽的问题。 条件命题:
条件命题是指联结词是条件联结词的复合命题。
条件联结词表达的是一个支命题所描述的事件是另一个支命题所描述事件存在的条件。两个事件之间的条件联系有二种，一是充分条件联系，一是必要条件联系。因此，条件命题也有两种，既充分条件命题和必要条件命题。
1、充分条件命题
联结词是充分条件联结词的命题是充分条件命题。 充分条件联结词的汉语表达形式有：
“如果…那么…” “若…则…” “一但…就…” “只要…就…”
等等。如下就是两个充分条件命题： “如果天在下雨，那么地是湿的。” “一但张珊年满18岁，她就有选举权。”
我们用“→”表示充分条件联结词，充分条件命题的逻辑形式是 “p → q”
23
充分条件联结词描述的是两个事件之间的充分条件联系。事件p与事件q之间有充分条件联系，如果有p必有q，而没有p有无q不确定。例如，事件“天在下雨”与“地是湿的”，一但天在下雨，就一定有地是湿的；而天没有下雨，地湿还是不湿不一定。因此事件“天在下雨”与“地是湿的”之间有充分条件联系，“如果天在下雨，那么地是湿的”就是一个真的充分条件命题。根据充分条件命题的这些特征，我们把在联结词“如果”后面出现的支命题称作条件命题的前件，把在“那么”后面出现的支命题称作后件。
因此，充分条件命题的逻辑涵义是：前件真时后件必真，前件假则后件可以真也可以假。如果一个充分条件命题的前件真而后件是假的，那么就意味两个支命题之间并没有充分条件联系，命题对前后件关系的描述不符合事实，因此命题是假的。例如，“如果水分充足，那么水稻长得好”就是一个假命题，因为“水分充足”和“水稻长得好”二者之间不具有充分条件联系，前者真时后者可以是假的。
充分条件命题的逻辑特征用真值表表示如下：
p q p → q
T T T T F F F T T F F T
由真值表我们看到，一个充分条件命题是假的，当且仅当，它的前件真而后件假。除此之外，充分条件命题都是真的。
2、必要条件命题
24
必要条件命题是指联结词是必要条件联结词的命题。 必要条件联结词的汉语表达形式有：
“只有… 才 …” “除非… 不 …”
等等。如下就是两个必要条件命题：
“只有有犯罪动机，才是犯罪嫌疑人。” “除非水分充足，水稻不可能长得好。”
必要条件命题描述的是两个事件之间的必要条件联系。事件p与事件q之间有必要条件联系，如果没有p就没有q，而有p时有无q不确定。例如，事件“某人有犯罪动机”与“某人有犯罪嫌疑”，一但某人没有犯罪动机，他就一定没有犯罪嫌疑；而某人有犯罪动机，他有没有犯罪嫌疑则不一定。因此事件“某人有犯罪动机”与“某人有犯罪嫌疑”之间有必要条件联系，“只有有犯罪动机，才可能是犯罪嫌疑人”就是一个真的必要条件命题。
因此，必要条件命题的逻辑涵义是：前件假时后件必假，而前件真则后件可以真也可以假。
我们用“←”表示必要条件联结词，必要条件命题的逻辑形式是 “p ← q”
必要条件命题的逻辑特征用真值表表示如下：
p q p ← q
T T T T F T F T F F F T
25