Section 4.3 公式的类型
Objectives: 公式的类型
- 不存在成真赋值的公式是矛盾式
- 不存在成假赋值的公式是重言式
- 至少存在一个成真赋值的公式是可满足式。
Exercises Exercises
1.
以下公式的类型是什么？
\begin{equation}
p \wedge q \vee r \tag{4.3.1}
\end{equation}
Solution
可满足式
2.
以下公式的类型是什么？
\begin{equation}
p \wedge \neg p \tag{4.3.2}
\end{equation}
Solution
矛盾式
3.
以下公式的类型是什么？
\begin{equation}
p \vee \neg p \vee r \tag{4.3.3}
\end{equation}
Solution
重言式