Saveral studeits were asked to formalize the following argument by defining appropriate predicates and then giving the argument as a numbered listed of statements. Each statement was to be labeled either as a premise, or a conclusion from earlier statements, and the argument form used identified. Vegetorians don't eat meat. Bul is a vegetovian. Ponk is a kind of meot. Therefore, BiW does not eat pork Identify the correct answer
O Ananya: define the predicates
Vx) = "X is a vegetarian."
Myy is meat.
E(x, y) = "X eats y..