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