2.2.1一阶谓词逻辑表示的逻辑学基础 命题与真值 0命题的定义 ⑩断言:定义21一个陈述句称为一个断言 命题:具有真假意义的断言称为命题 0命题的真值: 0T:表示命题的意义为真 0F:表示命题的意义为假 命题真值的说明 ⑩一个命题不能同时既为真又为假 命题可在一定条件下为真,而在另一条件下为假10 2.2.1一阶谓词逻辑表示的逻辑学基础 命题与真值  命题的定义：  断言：定义2.1 一个陈述句称为一个断言.  命题：具有真假意义的断言称为命题.  命题的真值：  T：表示命题的意义为真  F：表示命题的意义为假  命题真值的说明  一个命题不能同时既为真又为假  一个命题可在一定条件下为真，而在另一条件下为假