全真判断知识点学习笔记

全真判断知识点，学习笔记分享～下载收藏不迷路。内容覆盖三个换位，两个推出，一个递推，简化翻译，逆否命题。

全真判断知识点学习笔记

• 解决集合之间的关系
• 逻辑规则
• 四个基本命题（基础）
  • 所有S都是P
  • 所有S都不是P
    • 所有P也都不是S
  • 有的S是P
    • 有的P 是S
  • 有的S 不是P
  • “有的”
    • 至少一定有一个
    • 至多有可能是全部
    • 表达一个状态“有” 具体有多少不确定不明白
• 三个换位
  • 有的P 是S
  • 所有P也都不是S
    • 所有S都不是P
  • 有的P 是S
    • 有的S是P
• 两个推出
  • 所有的S都是P(真)——某个S是P (真 )——有的S是P (真)
    • 所有——某个——有的（逻辑上的必然成立推出关系）
  • 所有的S都是P(真)
  • 所有S都不是P（真）——某个S不是P(真)——有的S不是P (真)
• 一个递推
  • A-B,B-C;所以:A-C
    • 此关系成立的条件是B表示所有的意思
  • 有的A-B,B-C;所以：有的A-C
• 简化翻译
  • 所有S都是P 翻译： （所有）S——P
  • 所有S都不是P 翻译：（所有）S—— -P
  • 有的S是P 翻译： 有的S——P
  • 有的S不是P 翻译：有的S—— -P
• 逆否命题
  • 原命题为真逆否命题也为真
    • 同真同假
  • 所有S都是P 逆否命题 -P—-S
• 单向不可逆
• 有的S是P (真)
• 某个S是P (真 )
• 双向可逆
• 双向可逆