CPSC 121 Lecture Notes - Lecture 15: Fierce Creatures, Tennis Ball, Associative Property
CPSC 121 verified notes
15/41View all
Document Summary
Cpsc 121 lecture #15 predicate logic (continued) The following work that is in italicized text is from https://www. students. cs. ubc. ca/~cs- To add more adjectives to something that has an existential quantifier, use ^ to conjoin them together: e. g. Some lion drinks coffee to some fierce lion drinks coffee is: \exists x in d, l(x) ^ c(x) to \exists x in d, l(x) ^ f(x) ^ c(x) . To add more adjectives to something that has an existential quantifier, use -> to conjoin them: e. g. Every lion drinks coffee to every fierce lion drinks coffee is: \forall x in d, l(x) -> c(x) to \forall x in d, l(x) -> (f(x) -> c(x)) : note: if and is used with a universal quantifier: All fierce creatures are not lions can be interpreted two ways: all fierce creatures are (not lions, reworded, this means no lions are fierce creatures aka the not refers to the.