Monotonie der Folgerung

Ein metalogisches Prinzip, das besagt, dass das Hinzufügen von Prämissen die Menge der logischen Konsequenzen nicht verringern kann: Wenn Γ ⊢ φ, dann gilt für jede Menge Δ von zusätzlichen Prämissen Γ ∪ Δ ⊢ φ. Die Folgerung ist in vielen Standardlogiken monoton.