Assertion: logic | /r/HasProperty | nonmonotonic
Facets:
Source sentences:
text: That is, if a set Γ of formulas implies a consequence C then a larger set Γ ∪ A will also imply C. A logic is nonmonotonic if its consequence relation lacks this property.