C = I think about possible worlds D = Possible worlds are then we translate to: □(A→B) □(B→C) □(C→D) ¬♢D ∴¬♢A In other words, if possible worlds ...
確定! 回上一頁