离散数学

命题

  • 原子命题
  • 逻辑联结词
    • 合取 $\wedge$
    • 析取 $\vee$
    • 否定 $\neg$
    • 条件 $\rightarrow$
    • 等价 $\leftrightarrow$
  • 复合命题 $:=$ 原子命题 + 逻辑联结词