Logical consistency is another branch of Deductive Logic. A set of sentences is said to be consistent if and only if there is at least one possible situation in which they are all true. If two ...