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 American Constitution, one of the few modern political documents drawn up by men who were forced by the sternest circumstances to think out what they really had to face instead of chopping logic in a university classroom.”
    —George Bernard Shaw (1856–1950)