命题逻辑的基本概念

下图汇总了离散数学中命题逻辑的基本概念，包括命题、联结词、命题公式及其赋值等，适用于考试复习的小伙伴！

命题逻辑的基本概念

• 命题
  • 概念
    • 非真即假
      • 既不能为真，也不能为假的陈述句称作悖论。悖论不是命题
    • 陈述句
  • 分类
    • 简单命题（原子命题）
    • 复合命题
• 联结词
  • 否定联结词：
  • 合取联结词：
    • 既……又…… 不但……而且…… 虽然……但是…… 一面……一面……
    • 并且
  • 析取联结词：
    • 相容或
    • 排斥或
  • 蕴涵联结词：
    • 表示p是q的充分条件、q是p的必要条件 自然语言： 只要p……就q…… 因为p……所以q…… p仅当q 只有q……才p…… 除非q……才p…… 除非q……否则非p…… "除非"=“只有” 课本P7
    • p→q为假当且仅当p真q假
  • 等价联结词：
    • “当且仅当”，规定p↔q为真当且仅当pq同真同假
• 命题公式及其赋值
  • 层次
    • 课本P10
  • 成真赋值和成假赋值
  • 特殊命题
    • 永真式（重言式）
    • 永假式（矛盾式）
    • 可满足式（不是永假式）