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.

See alsoEdit

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.