Monotonía de la Consecuencia Lógica

Un principio meta‑lógico que afirma que añadir premisas no puede reducir el conjunto de consecuencias lógicas: si Γ ⊢ φ entonces para cualquier conjunto Δ de premisas adicionales, Γ ∪ Δ ⊢ φ. La consecuencia es monótona en muchas lógicas estándar.