成语生肖网

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

更新时间:2026-05-30 21:08:22   栏目: 中华词典

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

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

B. 错误

猜你喜欢