Truth Value
Denote “truth value” by “TIV”
- I is an interpretation
- V is a variable assignment
Logical constants
- Tiv(<constant>) = I(<constant>)
- Tiv(true) = true
- Tiv(false) = false
Truth value of a relational sentence
- TIV((rel term1 … termn)) =
- true when áSIV(term1), … , SIV (termn)ñ is a member of set I(rel)
- false otherwise
- TIV((rel term1 … termn @var)) =
- true when áSIV (term1), … , SIV (termn) | SIV (@var)ñ is a member of set I(rel)
- false otherwise