逻辑关系

外延

• 全同关系 $A = B$
• 包含关系 $A \subseteq B$
  • 种属 $A \subsetneq B$
  • 组成 $A \subseteq B$
• 交叉关系 $A \cap B \neq \emptyset$
• 全异关系 $A \cap B = \emptyset$
  • 并列关系 $A \nsubseteq B \land B \nsubseteq A$
    • 矛盾 $A \cup B = U$($U$为全集)
    • 反对 $A \cup B \subsetneq U$

内涵

• 属性
  • 必然
  • 或然
• 对应
• 条件
  • 充分
  • 必要