convert from english to predicate formulas

71 Views Asked by At

Propositions, Predicates and Quantifiers [16 Points]

Consider the predicates defined below, where the domain is the ISU community.

  1. $L(x, y)$ means "$x$ and $y$ went to lunch together today"

  2. $S(x)$ means "$x$ is a student"

  3. $F(x)$ means "$x$ is faculty"

Translate the following assertions into predicate formulas:

b) $y$ and $z$ are the only two faculty members that had lunch with at least two different students today