Maximal consistency in propositional logic
ID: maximal-consistency-in-propositional-logic
A propositionally consistent theory is maximally consistent when every proper extension by a new propositional formula is inconsistent. It decides each propositional formula or its negation.
New to topics? Read the docs here!