吉德志回答：
不同的书有不同的说法,你所说的“同永真”、“同可满足”在清华大学耿素云的书中应该就是“重言的”、“可满足的”的意思吧?尽管本人没见过这种说法.
在命题逻辑中,对命题公式的分类有“重言式”、“矛盾式”和“可满足式”三种.
吉德志回答：
明白你的意思了，“同永真”、“同可满足”指的是两个命题公式具有相同的真值。另外，我回答的后一句应该是：“在命题逻辑中，对命题公式的分类有“重言式”、“矛盾式”和“非重言可满足式”三种。”这样，就没交叉了。
八字精批
八字合婚
八字起名
八字财运
2024运势
测终身运
姓名详批
结婚吉日
精品分类
优秀推荐
热门
邮箱： 
