永真式不一定是可满足的。( ) A. 正确 B. 错误-中华词典

永真式不一定是可满足的。( ) A. 正确 B. 错误

更新时间:2026-07-24 14:06:03 栏目: 中华词典

永真式不一定是可满足的。( ) A. 正确 B. 错误

永真式一定是可满足的，因此该表述错误。在命题逻辑中，永真式指在所有赋值下均为真的命题公式，例如 $p \lor \neg p$ （排中律）；可满足式则指存在至少一个赋值使其为真的公式。由于永真式在所有赋值下均为真，必然满足“存在至少一个赋值使其为真”的条件，因此永真式是可满足式的特殊情况（可满足式还包括仅在部分赋值下为真的公式）。

B. 错误

永真式不一定是可满足的。( ) A. 正确 B. 错误

猜你喜欢