Talk:Logic for Computer Scientists/Predicate Logic/Resolution

Useless, It is like a code without comment

This sentence from the proof of the completeness theorem seems not right to me: "Note, that $$S$$ is unsatisfiable if and only if $$S \cup \{ C\} $$ is unsatisfiable." What is important is that the left to right implication is true. Stefan.vatev (talk) 17:43, 29 October 2008 (UTC)