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 the following holds: implies .