离散数学中“同永真”、“同可满足”是什么意思,怎么定义的?
来源:学生作业帮 编辑:百度作业网作业帮 分类:综合作业 时间:2024/06/25 09:15:14
离散数学中“同永真”、“同可满足”是什么意思,怎么定义的?
![离散数学中“同永真”、“同可满足”是什么意思,怎么定义的?](/uploads/image/z/4921918-70-8.jpg?t=%E7%A6%BB%E6%95%A3%E6%95%B0%E5%AD%A6%E4%B8%AD%E2%80%9C%E5%90%8C%E6%B0%B8%E7%9C%9F%E2%80%9D%E3%80%81%E2%80%9C%E5%90%8C%E5%8F%AF%E6%BB%A1%E8%B6%B3%E2%80%9D%E6%98%AF%E4%BB%80%E4%B9%88%E6%84%8F%E6%80%9D%2C%E6%80%8E%E4%B9%88%E5%AE%9A%E4%B9%89%E7%9A%84%3F)
不同的书有不同的说法,你所说的“同永真”、“同可满足”在清华大学耿素云的书中应该就是“重言的”、“可满足的”的意思吧?尽管本人没见过这种说法.
在命题逻辑中,对命题公式的分类有“重言式”、“矛盾式”和“可满足式”三种.
再问: 亲,某两个公式同永真性和某个公式是重言式是不一样的,不过我不知道同永真性是什么意思…… 还有命题公式分为矛盾式和可满足式两种,可满足又分为重言和仅可满足,而不是你说的三种(其中有交叉部分) 虽然没解答我的问题,不过还是谢谢了~~
再答: 明白你的意思了,“同永真”、“同可满足”指的是两个命题公式具有相同的真值。 另外,我回答的后一句应该是: “ 在命题逻辑中,对命题公式的分类有“重言式”、“矛盾式”和“非重言可满足式”三种。” 这样,就没交叉了。
在命题逻辑中,对命题公式的分类有“重言式”、“矛盾式”和“可满足式”三种.
再问: 亲,某两个公式同永真性和某个公式是重言式是不一样的,不过我不知道同永真性是什么意思…… 还有命题公式分为矛盾式和可满足式两种,可满足又分为重言和仅可满足,而不是你说的三种(其中有交叉部分) 虽然没解答我的问题,不过还是谢谢了~~
再答: 明白你的意思了,“同永真”、“同可满足”指的是两个命题公式具有相同的真值。 另外,我回答的后一句应该是: “ 在命题逻辑中,对命题公式的分类有“重言式”、“矛盾式”和“非重言可满足式”三种。” 这样,就没交叉了。