Monotonicity of Entailment

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
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.