## FANDOM

174 Pages

Monotonicity of entailment is a property of entailment under some logical systems that states that one can add additional assumptions or premises to a set of premises and yet get the same conclusion or theorem.

Symbolically, for all $\Gamma$ the following holds: $\Delta \vdash C$ implies $\Delta, \Gamma \vdash C$.