Monotonicity of entailment
Property of many systems of logic / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Monotonicity of entailment?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
Monotonicity of entailment is a property of many logical systems such that if a sentence follows deductively from a given set of sentences then it also follows deductively from any superset of those sentences. A corollary is that if a given argument is deductively valid, it cannot become invalid by the addition of extra premises.[1][2]
Logical systems with this property are called monotonic logics in order to differentiate them from non-monotonic logics. Classical logic and intuitionistic logic are examples of monotonic logics.