for any variable y, I(M, y) = y ∈ V . A1.2.1 Atomic State Formulas. The interpretation I of a state formula p is written as I(M, p) ...
確定! 回上一頁