离散数学中“同永真”、“同可满足”是什么意思，怎么定义的？

Question

离散数学中“同永真”、“同可满足”是什么意思，怎么定义的？

Answer 1

　　不同的书有不同的说法，你所说的“同永真”、“同可满足”在清华大学耿素云的书中应该就是“重言的”、“可满足的”的意思吧？尽管本人没见过这种说法。
　　在命题逻辑中，对命题公式的分类有“重言式”、“矛盾式”和“可满足式”三种。追问

亲，某两个公式同永真性和某个公式是重言式是不一样的，不过我不知道同永真性是什么意思……
还有命题公式分为矛盾式和可满足式两种，可满足又分为重言和仅可满足，而不是你说的三种（其中有交叉部分）
虽然没解答我的问题，不过还是谢谢了~~

追答

　　明白你的意思了，“同永真”、“同可满足”指的是两个命题公式具有相同的真值。
　　另外，我回答的后一句应该是：
　　“ 在命题逻辑中，对命题公式的分类有“重言式”、“矛盾式”和“非重言可满足式”三种。”
这样，就没交叉了。