Logical Sentences: not, and, or
Negation – (not <sentence>)
E.g., (not (On A D)) (not (On B B))
- TIV((not sent)) =
- true when TIV(sent) is false
- false otherwise
Conjunction – (and <sentence>*)
E.g., (and (On A B) (On B C))
- TIV((and sent1 … sentn)) =
- true when TIV(senti) is true for all I = 1, … , n
- false otherwise
Disjunction – (or <sentence>*)
E.g., (or (On A D) (On A B))
- TIV((or sent1 … sentn)) =
- true when TIV(senti) is true for some I = 1, … , n
- false otherwise