Knowledge Systems Laboratory, Stanford
University
14
Logical Sentences:
not, and, or
uNegation – (not <sentence>)
E.g., (not (On A D)) (not (On B B))
8TIV((not sent))
=
>true when TIV(sent) is false
>false otherwise
uConjunction – (and <sentence>*)
E.g., (and (On A B) (On B C))
8TIV((and sent1 … sentn)) =
>true when TIV(senti) is true
for all I = 1, … , n
>false otherwise
uDisjunction – (or <sentence>*)
E.g., (or (On A D) (On A B))
8TIV((or sent1 … sentn)) =
>true when TIV(senti) is true
for some I = 1, … , n
>false otherwise