A set of propositions is inconsistent iff the proposition P and not P is in the deductive closure of the set.
Lost password
Sign Up
Need help? accounthelp@everything2.com