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