(二)不相容的选言推理 1.肯定否定式及其公式表示。 肯定否定式及其公式表示。 要么p,要么q p,要么 要么p,要么q p 所以非q 所以非q (( p q )∧ p)→ ¬q q 2.否定肯定式及其公式表示。 否定肯定式及其公式表示。 要么p,要么q p,要么 要么p,要么q 非p 所以q 所以q (( p q)∧¬p)→q p 3.不相容的 选言推理的规 则。 (1)肯定 )
2.必要条件假言命题 (1)必要条件假言命题的概念。 必要条件假言命题的概念。 定义:反映一事物情况 另一事物情况 一事物情况是 事物情况的存在的 定义:反映一事物情况是另一事物情况的存在的 必要条件命题 必要条件命题 有p未必有 q,无 p 必定无 q (2)必要条件假言命题的公式表示。 必要条件假言命题的公式表示。 只有p 只有p,才q 符号: 符号: p ← q “ ← 逆蕴涵 ” 自然语句:只有, 除非, 没有, 自然语句:只有,才;除非,不;没有,就没有 如果不是, 如果不是,那么不是
(一)相容的选言推理
1.相容的选言推理及其公式表示。 相容的选言推理及其公式表示。 的性质,至少有一支真, 依据 p∨q 的性质,至少有一支真,否定肯定式 p,或 或p,或q 非p 所以q 所以q 符号: p∨q) ¬p 符号:(( p∨q)∧¬p)→q 相容的选言推理的规则。 2.相容的选言推理的规则。 (1)否定一部分选言肢,就要肯定另一部分选言肢。 )否定一部分选言肢,就要肯定另一部分选言肢。 (2)肯定一部分选言肢,不能否定另一部分选言肢。 )肯定一部分选言肢,不能否定另一部分选言肢。
第三节 选言命题及其推理
一、选言命题的种类及其逻辑值 选言命题及其种类。 1.选言命题及其种类。 定义: 定义:反映若干可能事物情况至少有一种存在 结构:选言肢 (若干可能情况) 联结词(至少 若干可能情况) 联结词( 结构: 有一存在) 有一存在) 根据选言肢是否相容,区分为相容的选言命题和 根据选言肢是否相容,区分为相容的选言命题和 不相容的选言命题