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:

    “You can no more bridle passions with logic than you can justify them in the law courts. Passions are facts and not dogmas.”
    —Alexander Herzen (1812–1870)