1、命题

1.1 命题的定义和分类

image.png

1.2 命题的判定

判断一个句子是否是命题，主要分为以下两步：

  1. 句子是否是陈述句

  2. 是否有唯一的真值

    image.png

1.3 命题联结词

命题联结词一共有5种，分别是：

  1. 否定
  2. 合取（逻辑与）
  3. 析取（逻辑或）
  4. 蕴涵 （当且仅当p = 1, q = 0的时候，p->q的值为0, 其余情况结果都为1）
    image.png
  5. 等价 （当且仅当 p 和 q的值相同的时候, p <-> q 的值为1，其余情况都为0）
    image.png

1.4 命题符号化

命题符号化就是用多个原子命题和逻辑连接词去表示某个命题。
注意：排斥或的意思就是虽然两者的关系是或的关系，但是二者不可以同时发生。相容或则是说二者可以同时发生。
image.png

带有前后因果关系的一般就是蕴含关系
image.png

1.5 命题公式及其赋值

命题变元：真值可以变化的命题（也就是变量的意思）
合式公式：将命题变元用联结词或圆括号按一定逻辑关系联结起来的符号串
成真赋值、成假赋值：
image.png比如这里的100，就是成假赋值

1.5.1 题型一： 通过列真值表求成真赋值和成假赋值

image.png

重言式（永真式）：在任何情况下都为真的式子
矛盾式（永假式）：在任何情况下都为假的式子
image.png