Definition:Inconsistent (Logic)

Definition
Let $\LL$ be a logical language.

Let $\mathscr P$ be a proof system for $\LL$.

Also see

 * Equivalence of Definitions of Inconsistent (Logic)


 * Definition:Provable Consequence
 * Definition:Consistent (Logic)


 * Definition:Unsatisfiable