不同的書有不同的說法,你所說的“同永真”、“同可滿足”在清華大學(xué)耿素云的書中應(yīng)該就是“重言的”、“可滿足的”的意思吧?盡管本人沒見過這種說法.
　　在命題邏輯中,對(duì)命題公式的分類有“重言式”、“矛盾式”和“可滿足式”三種.　　明白你的意思了，“同永真”、“同可滿足”指的是兩個(gè)命題公式具有相同的真值?！　×硗猓一卮鸬暮笠痪鋺?yīng)該是：　　“ 在命題邏輯中，對(duì)命題公式的分類有“重言式”、“矛盾式”和“非重言可滿足式”三種。”這樣，就沒交叉了。