好,其實我們剛才在講entailment跟implication的關聯其實就是這麼回事。因為is valid 意思就是for all model對不對? 在所有的model裡面都是這個樣子,就是KB都implies α。
確定! 回上一頁