Daily Summary(85)

9.6_Physical

1、简谐运动的成因：①回复力②惯性

2、简谐运动判别式

3、简谐运动方程

4、简谐运动题型

9.6_Discrete

1、命题

1. 定义：①是否为陈述句 ②它的真知是否唯一
2. 简单命题（原子命题）：陈述句且不能分解成更简单的句子
3. 命题变项（命题变元）：真值可以变化的简单陈述句
4. 复合命题：简单命题用联结词联结而成的命题

2、联结词

3、命题公式

1. 单个命题常项或变项p,q,r,···及0,1是合式公式。
2. 如果A是合式公式，则(¬A)也是合式公式．
3. 如果A、B是合式公式，则（A∧B)、（A∨B)、（A→B)、（A↔B)也是合式公式．
4. 只有有限地应用1~3组成的符号串才是合式公式．
   在命题逻辑中合式公式又称为命题公式，简称为公式。

类型
设A为一个命题公式。
（1)若A在所有赋值下取值均为真，则称A为重言式或永真式。
（2)若A在所有赋值下取值均为假，则称A为矛盾式或永假式。
（3)若A至少存在一组成真赋值，则称A是可满足式。
由定义可知，重言式一定是可满足式，但反之不真。