题目
任何命题公式都存在与之等值的析取范式和合取范式,并且是唯一的。A. 对B. 错
任何命题公式都存在与之等值的析取范式和合取范式,并且是唯一的。
A. 对
B. 错
题目解答
答案
B. 错
解析
考查要点:本题主要考查命题逻辑中析取范式与合取范式的存在性及唯一性。
解题核心:明确析取范式和合取范式的定义,理解范式的存在性与唯一性的关系。
关键点:
- 任何命题公式都可以转换为析取范式和合取范式(存在性成立)。
- 范式的唯一性不成立,因为同一公式可能对应不同形式但等价的范式(如文字顺序不同、重复项化简等)。
析取范式与合取范式的定义
- 析取范式:多个合取项的析取($\lor$连接),每个合取项是文字(原子命题或其否定)的合取($\land$连接)。
- 合取范式:多个析取项的合取($\land$连接),每个析取项是文字的析取($\lor$连接)。
范式的存在性
根据命题逻辑的基本定理,任何命题公式都可以通过逻辑等价的变形转换为析取范式或合取范式。例如:
- 公式 $A \rightarrow (B \lor C)$ 可转换为析取范式 $\lnot A \lor B \lor C$。
范式的唯一性
虽然存在性成立,但唯一性不成立。例如:
- 公式 $A \lor B$ 的析取范式可以是 $A \lor B$,也可以是 $B \lor A$(形式不同但等价)。
- 若允许重复项,如 $A \lor A$,其析取范式可以是 $A \lor A$ 或直接化简为 $A$。
结论:题目中“析取范式和合取范式是唯一的”表述错误。