精选问答
离散数学中“同永真”、“同可满足”是什么意思,怎么定义的?

2019-05-29

离散数学中“同永真”、“同可满足”是什么意思,怎么定义的?
优质解答
  不同的书有不同的说法,你所说的“同永真”、“同可满足”在清华大学耿素云的书中应该就是“重言的”、“可满足的”的意思吧?尽管本人没见过这种说法.
  在命题逻辑中,对命题公式的分类有“重言式”、“矛盾式”和“可满足式”三种.
  不同的书有不同的说法,你所说的“同永真”、“同可满足”在清华大学耿素云的书中应该就是“重言的”、“可满足的”的意思吧?尽管本人没见过这种说法.
  在命题逻辑中,对命题公式的分类有“重言式”、“矛盾式”和“可满足式”三种.
相关标签: 离散数学 满足 定义
相关问答