"In modern formal logic, the term is mainly used instead for a "single" proposition; a proposition is a contradiction if false can be derived from it, using the rules of the logic.This can be generalized to a collection of propositions, which is then said to "contain" a contradiction.