Definition:Inconsistent (Logic)/Also known as
Jump to navigation
Jump to search
Definition
Inconsistent sets of logical formulas are often called contradictory.
Likewise, a logical formula which is inconsistent by itself is often called a contradiction.
Since these terms are also often used to describe unsatisfiability in the context of a formal semantics, they are discouraged as synonyms of inconsistent on $\mathsf{Pr} \infty \mathsf{fWiki}$.