CPSC 121 Lecture 14: English and Predicate Logic - 2020.02.05 - 2019W2 - UBC
CPSC 121 verified notes
14/41View all
Document Summary
Topics included: predicates and propositions, translating between english and predicate logic, in-class examples. We can"t evaluate if a predicate is true without knowing the unbound variable, so we need to assign a value(s) to it. [there exists an x in the set of integers for which x2 is y] is a predicate because we don"t know what y is. The following work that is in italicized text is from https://www. students. cs. ubc. ca/~cs- F [means] the set of foods. g [means] alice grows. s [means] alice shrinks. Express each of the following statements using these definitions and predicate logic: eating food causes alice to grow or shrink, alice shrank when she ate some food, \forall x in f, e(x) -> (g v s) Express each of the following statements using these definitions and predicate logic: \forall x in d, l(x) -> f(x, \exists x in d, l(x)^ ~c(x)
