Section 4.1 什么是公式
Objectives: 命题变项
- 命题变项代表任意一个命题，不特指。
- 命题变项通常也用p,q,r等小写字母表示。
- 例如：当不告诉p所代表的具体命题时,p就是一个命题变项。
- 命题常项和命题变项需要通过上下文语义来区分。
Objectives: 公式
- 将逻辑表达式中的某些命题常项换成命题变项即成公式。
- 逻辑表达式是公式，但公式不一定是逻辑表达式。
- 公式中出现的字母p,q,r等如无特殊说明均被默认为命题变项。
Exercises Exercises
1.
下面的逻辑表达式4.1.1有几个命题变项？
\begin{equation*}
p:\text{5>4}
\end{equation*}
\begin{equation}
p \wedge q \wedge \neg r \tag{4.1.1}
\end{equation}
2.
下面的逻辑表达式4.1.2有几个命题变项？
\begin{equation}
p \wedge q \wedge \neg r \tag{4.1.2}
\end{equation}