gdritter repos when-computer / 4a4410a
small typo Getty Ritter 9 years ago
1 changed file(s) with 1 addition(s) and 1 deletion(s). Collapse all Expand all
7777 We can express predicates in the same way we express most
7878 mathematical functions: for example, we might
7979 construct a predicate \\(\\textit\{is-a-cat\}\\) which takes
80 an entity and tells us whether or not is is a cat. The
80 an entity and tells us whether or not it is a cat. The
8181 following formula (using the \\(\\land\\) operator to represent
8282 \em{and} and the \\(\\neg\\) operator to represent
8383 \em{not}) expresses that Garfield is a cat while