next up previous notation contents
Next: 2.7.3 Inclusion Property Up: 2.7 Interval Arithmetic Previous: 2.7.1 Syntax

2.7.2 Order

The set of intervals do not have boolean comparison operators. The comparison operators for intervals are three valued logic operators. Operator tex2html_wrap_inline32241 compares intervals:

math6602

Three valued logic is denoted by   tex2html_wrap_inline31185 .  

math6608

Consider the following examples:

math6612

math6621

math6630

math6639

math6648

Three valued logic values can be demoted to boolean values in two ways; optimistically via tex2html_wrap_inline32563 , or pessimistically via tex2html_wrap_inline32565 .  

math6658

math6662

next up previous notation contents
Next: 2.7.3 Inclusion Property Up: 2.7 Interval Arithmetic Previous: 2.7.1 Syntax
Jeff TupperMarch 1996