Any system entailing a statement of the form 'P and not-P' is logically trivial, making the conjunct...