"There is obviously a very close relationship between inconsistency and contradiction; . . ." (Klenk, 123)
Given the above, what is the difference between contradiction and inconsistency?
"[T]he difference is that a contradiction is a single formula, whereas consistency is a property of sets of formulas. We can say, however, that a set of formulas is inconsistent if and only if the conjunction of all the formulas is a contradiction." (Klenk, 123)