Monotonic assertion

Home / Glossary / Monotonic assertion

Monotonic is one of the possible values for strength. If a formula is asserted with a strength of :monotonic, the resulting assertion(s) will have a truth value of either monotonically true or monotonically false, depending on whether or not the asserted formula was negated. See also default assertion.

7718 Wood Hollow Drive, Suite 250
Austin, TX 78731, USA