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.

7000 North Mopac Expressway, Suite #200
Austin, TX 78731, USA