# monotonicity of entailment

> property of many logical systems that if a sentence follows deductively from a given set of sentences then it also follows deductively from any superset of those sentences

**Wikidata**: [Q1945137](https://www.wikidata.org/wiki/Q1945137)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Monotonicity_of_entailment)  
**Source**: https://4ort.xyz/entity/monotonicity-of-entailment