不同的书有不同的说法,你所说的“同永真”、“同可满足”在清华大学耿素云的书中应该就是“重言的”、“可满足的”的意思吧?尽管本人没见过这种说法.
　　在命题逻辑中,对命题公式的分类有“重言式”、“矛盾式”和“可满足式”三种.　　明白你的意思了，“同永真”、“同可满足”指的是两个命题公式具有相同的真值。　　另外，我回答的后一句应该是：　　“ 在命题逻辑中，对命题公式的分类有“重言式”、“矛盾式”和“非重言可满足式”三种。”这样，就没交叉了。