Monotonicity of Entailment (Propositional Logic)

Definition

Monotonicity of Entailment (Propositional Logic)

Monotonicity of entailment is the property that adding antecedents does not remove existing consequents.

If a consequent follows from a set of antecedents , then it also follows from any larger set of antecedents:

for any additional antecedent .

In other words, valid arguments remain valid when extra assumptions are added. ¹

Footnotes

1. https://en.wikipedia.org/wiki/Monotonicity_of_entailment ↩