##  [Monotonicity of Entailment](/monotonicity-entailment-0) 

 Definition

A meta-logical principle stating that adding premises cannot reduce the set of logical consequences: if Γ ⊢ φ then for any set Δ of additional premises, Γ ∪ Δ ⊢ φ. Entailment is monotone in many standard logics.

 

 

 

 

 

 





## Principle

Principle

Information accumulation only narrows the class of models, so any sentence already entailed remains entailed when premises are augmented; proofs persist under the addition of further assumptions.

 

 

 

 

 





## Demonstration

Demonstration

From {A} one derives A. By monotonicity, adding B yields {A, B} ⊢ A as well. More generally, if Γ proves φ, then any superset of Γ will also prove φ with the same proof or a trivial extension.

 

 

 

 

## Misapplication

Misapplication

Assuming monotonicity in non-monotonic frameworks (such as default logic, belief revision, or many reasoning systems for defeasible inference) where adding information can and should revoke previously drawn conclusions leads to incorrect expectations about stability of conclusions.

 

 

 

 

 





## Consequence

Consequence

Supports modularity of formal theories and simple proof management: one can extend a theory without invalidating earlier derivations, but this also blocks the formal expression of defeasible or exception-based reasoning within a monotonic system.

 

 

 

 

## Reversal

Reversal

Non-monotonic reasoning inverts the idea: adding premises can remove entailments. Systems that model defaults, priorities, or belief revision intentionally violate monotonicity to capture defeasible inference.

 

 

 

 

 





## Boundary

Boundary

Holds in classical propositional and predicate logics and many formal systems preserving structural rules; it fails or is intentionally abandoned in non-monotonic logics, certain conditional and relevance logics, and in contexts modelling belief change.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Tension between monotonic entailment as a clean mathematical property and practical reasoning where new information invalidates conclusions; the formal comfort of monotonicity clashes with the need to represent exceptions and changing beliefs.

 

 

 

 

 





## Synthesis

Synthesis

Monotonicity of Entailment is the meta-principle that proofs and consequences persist under the addition of premises, offering stability and modularity in many formal logics while excluding defeasible patterns of reasoning.