Equations and Inequalities

• Equations

  • TIV((= term1 term2)) =
    • true when SIV(term1) and SIV(term2) are the same object
    • false otherwise

• Inequalities

  • TIV((/= term1 term2)) = TIV((not (= term1 term2)))

Previous slide

Next slide

Back to first slide

View graphic version