Let be the set of maximal consistent subsets of , i.e., , and let be the set of self-contradictory formulas of , i.e., . Then the MaxCons inconsistency measure is defined as The MaxCons inconsistency measure has been discussed in e.g. [Grant:2011].
be the set of maximal consistent subsets of 
, i.e., 
, and let 
be the set of self-contradictory formulas of 
. Then the MaxCons inconsistency measure 
is defined as
