Logical Constants, Equations, Inequalities
Logical constant
- Tiv(constant) = I(constant)
- Tiv(true) = true
- Tiv(false) = false
Equations - (= <term> <term>)
E.g, (= (Father Richard) Earl) (= A B)
- TIV((= term1 term2)) =
- true when SIV(term1) and SIV(term2) are the same object
- false otherwise
Inequalities - (/= <term> <term>)
E.g, (/= (Father Richard) (Father Bob)) (/= A B)
- TIV((/= term1 term2)) = TIV((not (= term1 term2)))