In Aristotle's logic, it is said that two contradictory propositions cannot both be true. For example, the propositions "A is B" and "A is not B" are mutually exclusive, meaning that only one, and not both, can be true. For example, the statements "the Pope is Catholic" and "the Pope is not Catholic" cannot both be true. Only one of the statements, and not the other, is true. 