... by D must be consistent:7 Theorem 3 (Consistency of Knowledge and CGoals) D |= ∀s. ... and procedural goals in the theory D∪{NoExo} remain consistent.
確定! 回上一頁