搜搜做题作业网离散数学中“同永真”、“同可满足”是什么意思,怎么定义的?
来源：学生作业帮 编辑：搜搜做题作业网作业帮 分类：综合作业 时间：2024/06/25 00:08:54
离散数学中“同永真”、“同可满足”是什么意思,怎么定义的?
不同的书有不同的说法,你所说的“同永真”、“同可满足”在清华大学耿素云的书中应该就是“重言的”、“可满足的”的意思吧?尽管本人没见过这种说法.
在命题逻辑中,对命题公式的分类有“重言式”、“矛盾式”和“可满足式”三种.
再问： 亲，某两个公式同永真性和某个公式是重言式是不一样的，不过我不知道同永真性是什么意思…… 还有命题公式分为矛盾式和可满足式两种，可满足又分为重言和仅可满足，而不是你说的三种（其中有交叉部分） 虽然没解答我的问题，不过还是谢谢了~~
再答： 明白你的意思了，“同永真”、“同可满足”指的是两个命题公式具有相同的真值。 另外，我回答的后一句应该是： “ 在命题逻辑中，对命题公式的分类有“重言式”、“矛盾式”和“非重言可满足式”三种。” 这样，就没交叉了。
在命题逻辑中,对命题公式的分类有“重言式”、“矛盾式”和“可满足式”三种.
再问： 亲，某两个公式同永真性和某个公式是重言式是不一样的，不过我不知道同永真性是什么意思…… 还有命题公式分为矛盾式和可满足式两种，可满足又分为重言和仅可满足，而不是你说的三种（其中有交叉部分） 虽然没解答我的问题，不过还是谢谢了~~
再答： 明白你的意思了，“同永真”、“同可满足”指的是两个命题公式具有相同的真值。 另外，我回答的后一句应该是： “ 在命题逻辑中，对命题公式的分类有“重言式”、“矛盾式”和“非重言可满足式”三种。” 这样，就没交叉了。