超星 - 第二章命题逻辑等值演算 - 查题吧

单选题

以下说法正确的的是( ).

A. 命题公式的主合取范式一定存在，但不一定唯一
B. 命题公式的主合取范式一定存在，且一定唯一
C. 命题公式的主合取范式不一定存在
D. 命题公式的主合取范式一定存在，且一定不唯一

多选题

如果A、B两命题公式等值，则这种等值关系具有（）.

A. 自反性
B. 对称性
C. 传递性
D. 以上皆不对

判断题

由所有极小项形成的析取式永为假.

A. 对
B. 错

判断题

任何两个重言式的合取或析取，仍然是一个重言式.

A. 对
B. 错

判断题

矛盾式的主合取范式不包含该公式的任何极大项.

A. 对
B. 错

判断题

在真值表中，一个公式的所有成假赋值所对应的极大项的析取，即为此公式的主析取范式.

A. 对
B. 错

1