Monotonic Function - Monotonic Logic

Monotonic Logic

Monotonicity of entailment is a property of many logic systems that states that the hypotheses of any derived fact may be freely extended with additional assumptions. Any true statement in a logic with this property continues to be true, even after adding new axioms. Logics with this property may be called monotonic, to differentiate them from non-monotonic logic.

Read more about this topic:  Monotonic Function

Famous quotes containing the word logic:

    “The logic of worldly success rests on a fallacy: the strange error that our perfection depends on the thoughts and opinions and applause of other men! A weird life it is, indeed, to be living always in somebody else’s imagination, as if that were the only place in which one could at last become real!”
    —Thomas Merton (1915–1968)