Refutation theorem - Study guides, Class notes & Summaries

Refutation Theorem Ans: ∆╞ α iff ∆^¬α is inconsistent. Modus Ponens Ans: If the knowledge base contains α and α⇒β, then add β to the knowledge base. Modus Tollens Ans: If knowledge base contains α⇒β and ¬β, then add ¬α to knowledge base. ∆╞ α Ans: ∆ entails α, M(∆) is a subset of M(α), therefore α logically follows from ∆. Decomposable Ans: If α ^ β appears in NNF, then vars(α)∩vars(β)=∅. Basically, α and β shouldn't share variables. DNN...

CS161 Theorems Exam With Questions And Correct Answers ...