Let be a knowledge base. For a literal a minimal proof in is a set such that 1. is mentioned in , 2. , and 3. is minimal wrt. set inclusion (note that has not to be consistent). Let be the set of all minimal proofs of in . Then the Pm inconsistency measure is defined as

The Pm inconsistency measure has been proposed in [Jabbour:2013]. Note that the above definition is not the original definition but a characterization also provided in [Jabbour:2013].