check

book.tex

@@ -6494,8 +6494,8 @@ evaluate to the corresponding Boolean values. The conditional
 expression $(\CIF{e_1}{e_2}{\itm{e_3}})$ evaluates expression $e_1$
 and then either evaluates $e_2$ or $e_3$ depending on whether
 $e_1$ produced \TRUE{} or \FALSE{}. The logical operations
-\code{and}, \code{or}, and \code{not} behave as you might expect, but
-note that the \code{and} and \code{or} operations are
+\code{and}, \code{or}, and \code{not} behave according to propositional logic,
+but note that the \code{and} and \code{or} operations are
 short-circuiting.
 %
 That is, given the expression $\CAND{e_1}{e_2}$, the expression $e_2$
@@ -6988,7 +6988,7 @@ The type of a Boolean constant is \BOOLTY{}.
 %
 \python{Subtraction requires its arguments to be of type \INTTY{} and produces
   an \INTTY{}. Negation requires its argument to be a \BOOLTY{} and
-  produces a \BOOLTY{}. Similarly for logical-and and logical-or. }
+  produces a \BOOLTY{}. Similarly for logical and and logical or. }
 %
 The equality operators requires the two arguments to have the same
 type.