精选文库
p或者q 非p ∴ q 规则二：
肯定一部分选言支，不能否定另一部分选言支 p或者q p ∴非q
不相容的选言命题 一个真的不相容选言命题，与相容选言命题一样，其选言支至少有一真。 规则一：
否定一个选言支以外的选言支，就要肯定余下的那个选言支。 否定肯定式： 要么p，要么q 非p ∴ q 规则二：
肯定一个选言支，就要否定其他选言支。 肯定否定式： 要么p，要么q p
∴ 非q 假言命题
指断定一事物情况为另一事物情况存在的条件的复合命题。假言命题又称条件命题。
假言命题是由肢命题和联结项构成的，在肢命题中，表示条件的叫前件，表示结果的叫后件。
假言命题的分类
充分条件假言命题、必要条件假言命题、充要条件假言命题 充分条件假言命题的含义
断定一事物情况为另一事物情况存在的充分条件的假言命题。 充分条件的内容：有前件就必有后件，无前件未必无后件。 充分条件假言命题的逻辑形式是： 如果p，那么q
联结项“如果……，那么……”可用符号“→”（读作“蕴涵”）来表示。故该命题的形式可表示为：
p→q (p蕴涵q) 充分条件假言命题的逻辑值
当前件真后件假时，充分条件假言命题就是假的；其他情况则真。 p q p→ q T T T -- 11
精选文库
T F F F T F F T F 前真后假则假 必要条件假言命题的含义
断定一事物情况为另一事物情况存在的必要条件的假言命题。 必要条件的内容：没有前件就没有后件，有前件未必有后件
必要条件假言命题的公式
只有年满18周岁的公民(p)，才有选举权(q)。 必要条件假言命题的逻辑形式是： 只有p，才q
联结项“只有……，才……”可用符号“←”（读作“逆蕴涵”）来表示。故该命题的形式可表示为：
p←q (p反蕴涵q)
必要条件假言命题的联结项除“只有……，才……”外，还有“除非……，不……”等。 必要条件假言命题的逻辑值
当前件假后件真时，必要条件假言命题就是假的；其他情况则真
p T T F F q T F T F p ←q T T F T 前假后真则假
充要条件假言命题的含义
断定一事物情况为另一事物情况存在的既充分又必要的条件的假言命题。 充要条件的内容：有前件就有后件，没有前件就没有后件。 充要条件假言命题的公式
当且仅当某甲具有中国国籍（p），他才是中国公民（q）。 充要条件假言命题的逻辑形式是： 当且仅当p，才q
联结项“当且仅当……，才……”可用符号“?”（读作“等值于”）来表示。故该命题的形式可表示为：
p?q (p等值q)
充要条件假言命题的逻辑值
当前、后件一真一假时，充要条件假言命题就是假的；其他情况则真。
-- 12
p q p ?q T T T T F F F T F F F T 一真一假则假 假言命题的推理
充分假言命题的有效式 肯定前件式
即小前提肯定大前提的前件，结论肯定大前提的后件。其推理形式是：p → q p
∴ q
也可表示为：(p→q)∧p→q 否定后件式
即小前提否定大前提的后件，结论否定大前提的前件。其推理形式是：p→q ﹁q ∴ ﹁p
也可表示为：(p→q)∧﹁q→﹁p 充分假言命题的无效式 否定前件式、肯定后件式 必要条件假言推理 否定前件式
即小前提否定大前提的前件，结论否定大前提的后件。其推理形式是：p←q ﹁p ∴ ﹁q
也可表示为：(p←q)∧﹁p→﹁q 肯定后件式
即小前提肯定大前提的后件，结论肯定大前提的前件。其推理形式是：p←q q ∴ p
也可表示为：(p←q)∧q→p 必要条件的假言推理的无效式 肯定前件式、否定后件式 充要条件的假言推理 肯定前件式
--
精选文库
13
即小前提肯定大前提的前件，结论肯定大前提的后件。其推理形式是： p?q p ∴ q
也可表示为：(p?q)∧p→q 肯定后件式
即小前提肯定大前提的后件，结论肯定大前提的前件。其推理形式是： p?q q
∴ p
也可表示为：(p?q)∧q→p 否定前件式
即小前提否定大前提的前件，结论否定大前提的后件。其推理形式是： p?q
﹁p ∴﹁q
也可表示为：(p?q)∧﹁p→﹁q 否定后件式
即小前提否定大前提的后件，结论否定大前提的前件。其推理形式是： p?q
﹁q ∴﹁p
也可表示为：(p?q)∧﹁q→﹁p 负命题及其推理
负命题就是否定某个命题所形成的命题。 负命题所否定的命题是它的肢命题（原命题）。
负命题的肢命题可以是简单命题，也可以是复合命题。 负命题的结构：肢命题、否定词（非）。
负命题的联结词通常用“并非”表示，其命题形式为： 并非p
可用符号“?”来表示，因此，“并非p”又可表示为： “? p”。（读作“非p”） 性质命题的负命题及其等值推理
? 1、?(SAP)?SOP 2、?(SEP)?SIP3、 ?(SIP)?SEP 4、?(SOP)?SAP 复合命题的负命题及其等值推理 1、?(p?q)?(?p??q) ? 2、?(p?q)?(?p??q) ?
3、?(p∨q)?((p?q)?(?p??q)) ? 4、?(p?q)?(p??q) ? 5、?(p?q)?(?p?q) ?
6、?(p?q)? ((p??q)?(?p?q)) ? 7、?(?p)?p ? 联言命题的负命题及等值命题
? 联言命题的负命题的逻辑形式是： 并非（p并且q）
--
精选文库
14
精选文库
联言命题负命题的等值命题是形如“非p或者非q”的选言命题。可表示为： ?（p∧q）←→ ? p∨? q 联言命题的真值表 p T T F F q T F T F P^q T F F F -(p^q) F T T T -p F F T T -q F T F T -pˇ-q F T T T ?（p∧q） ←→ ? p∨? q
相容选言命题的负命题及等值命题
? 相容选言命题的负命题的逻辑形式是： 并非（p或者q）
相容选言命题负命题的等值命题是形如“非p并且非q”的联言命题，可表示为： ?（p∨q）←→? p∧? q P T T F F q T F T F p∨q T T T F ﹣(p∨q) F F F T －p∧-q F F F T ?（p∨q） ←→ ? p∧? q
不相容选言命题的负命题 及其等值命题
不相容选言命题的负命题的逻辑形式是： “并非（要么p要么q）”。
不相容选言命题负命题的等值命题是形如 “（p并且q）或者（非p并且非q）”的命题。 用符号表示为：
?（p∨q）←→（p∧q）∨（? p∧? q） p q p∨q －(p∨q) (p∧q) ∨－(﹣p∧﹣q T T F T T T F T F T F F F F F T T F F F F F F F T F T T --
15
法律逻辑复习重点
