Knowledge Systems Laboratory, Stanford
University
13
Equations and Inequalities
uEquations
8TIV((= term1 term2)) =
>true
when SIV(term1) and SIV(term2) are the same object
>false
otherwise
uInequalities
8TIV((/= term1 term2)) = TIV((not (= term1 term2)))