discrete

multiple answer

QUESTION 4 Consider the following statements: T(x, y): "X eats y" A(x): "X is wise" S(x): "x is hungry". F(y): "y is fat". H(y): "y is healthy". The domain of x is the set of all people and the domain of y is the set of all food. Select the symbolic of the following statement: "Mike is hungry and wise but do not eat all healty food" Vy A (Mike) AS (Mike) V [H(y) -T(x,y)] 3y A (Mike) AS (Mike) A[H(y) -T(xy)] Vy A (Mike) AS (Mike) A[H(y) -T(x,y)] Vy A (Mike) AS (Mike) V [H(y) A-T(x,y)] None of the proposed answers