笔记 | 逻辑学：必然性推理

1. 必然性推理

1.1. 演绎论证

论证：由一个或多个主张或前提和一个结论组成，前提支持结论。

演绎论证的结论为真的要求

  1. 前提必须为真；
  2. 论证必须有效。

演绎论证形式

大前提：所有 a 都是 A；
小前提：b 是 a；

结论：b 是 A。

演绎论证示例

所有狗都是哺乳动物；
我的宠物是一只狗；

我的宠物是一只哺乳动物。

2. 直言命题

概念：包含<u>内涵</u>（事物的特性 / 本质）及<u>外延</u>（事物的范围）。

2.1. 概念间的集合关系

  • 全同：S = P；
  • 真包含 / 真包含于：P ⊂ S / S ⊂ P；
  • 交叉：S ∩ P ≠ ∅；
  • 全异：S ∩ P = ∅；

2.2. 四种直言命题的符号简记

命题名称 命题简记 命题符号 命题表述 集合形式
全称肯定命题 A 命题 SAP 「所有 S 都是 P。」 ∀x(S(x)→P(x))
全称否定命题 E 命题 SEP 「所有 S 都不是 P。」 ∀x(S(x)≠P(x))
特称肯定命题 I 命题 SIP 「有些 S 是 P。」 ∃x(S(x)→P(x))
特称否定命题 O 命题 SOP 「有些 S 不是 P。」 ∃x(S(x)≠P(x))

2.3. 四种直言命题的集合关系

直言命题 全同 (S = P) 真包含于 (S ⊂ P) 真包含 (S ⊂ P) 交叉 (S ∩ P ≠ ∅) 全异 (S ∩ P = ∅)
SAP √ √
SIP √ √ √ √
SEP √
SOP √ √ √

2.4. 四种直言命题的等价换位

原命题 等价换位后命题
所有 S 都是 P。 有些 P 是 S。
有些 S 是 P。 有些 P 是 S。
所有 S 都不是 P。 所有 P 都不是 S。
有些 S 不是 P。 ——

2.5. 命题间的对当关系

  • 矛盾：必有一真一假；
  • 下反对：必有一真，可同为真；
  • 反对：必有一假，可同为假；
  • 从属：可同为真，可同为假；

矛盾命题的换位方法

  1. 将「所有」与「有些」互换；
  2. 将「不是」与「是」互换；

2.6. 四种直言命题的对当关系

SAP SIP SEP SOP
SAP —— 从属（于） 反对 矛盾
SIP 从属 —— 矛盾 下反对
SEP 反对 矛盾 —— 从属（于）
SOP 矛盾 下反对 从属 ——

3. 复言命题

3.1. 联言命题与选言命题

  • 联言命题：p 且 q (p && q)；
  • 选言命题
    • 相容选言命题：p 或 q (p || q)；
    • 不相容选言命题：要么 p，要么 q (either p or q)；

3.2. 联言命题与选言命题的性质

p 且 q p 或 q 要么 p，要么 q
真假关系 一假即假 一真即真 有且只有一真才真
矛盾命题 !p丨!q !p && !q (p && q)丨(!p && !q)
推理规则 命题为真时：p、q 同为真 命题为真时：一者假，另一者必真；也可同为真 命题为真时：一者假，另一者必真；一者真，另一者必假

3.3. 假言命题

  • 充分条件假言命题：若 p，则 q (p → q)；
    • 可能的表述形式：「只要…就…」、「…必须…」、「如果…那么…」……
  • 必要条件假言命题：只有 p，才 q (p ← q)；
    • 可能的表述形式：「没有…就没有…」……
  • 其它形式改写：
    • 「不 p，不 q」：p ← q (!p → !q)；
    • 「除非 p，否则 q」：p ← !q (!p → q)；

3.4. 假言命题的等价换位及连锁推理

  • 等价换位：p → q === !p ← !q；
  • 连锁推理：若 p → q，q → r，则 p → r；

3.5. 假言命题的性质

p → q p ← q
真假关系 前真后假才假 前假后真才假
矛盾命题 p && !q !p && q
推理规则 肯前能肯后，否后能否前；否前不否后，肯后不肯前 否前能否后，肯后能肯前；肯前不肯后，否后不否前
最后编辑于 ：
©著作权归作者所有,转载或内容合作请联系作者
【社区内容提示】社区部分内容疑似由AI辅助生成，浏览时请结合常识与多方信息审慎甄别。
平台声明：文章内容（如有图片或视频亦包括在内）由作者上传并发布，文章内容仅代表作者本人观点，简书系信息发布平台，仅提供信息存储服务。

相关阅读更多精彩内容

友情链接更多精彩内容