the same time both belong and not belong to the same object and in the same respect."

In modern formal logic and type theory, the term is mainly used instead for a single proposition, often denoted by the falsum symbol $\bot$ ; a proposition is a contradiction if false can be derived from it, using the rules of the logic. It is a proposition